Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams
- 30 June 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- Vol. 12152, 324-344
- https://doi.org/10.1007/978-3-030-51831-8_16
Abstract
We consider coloured Petri nets, qualitative and quantitative ones alike, as supported by our PetriNuts tool family, comprising, among others, Snoopy, Marcie and Spike. Currently, most analysis and simulation techniques require to unfold the given coloured Petri net into its corresponding plain, uncoloured Petri net representation. This unfolding step is rather straightforward for finite discrete colour sets, but tends to be time-consuming due to the potentially huge number of possible transition bindings. We present an unfolding approach building on a special type of symbolic data structures, called Interval Decision Diagram, and compare its runtime performance with an unfolding engine employing an off-the-shelf library to solve constraint satisfaction problems. For this comparison we use the 22 scalable coloured models from the MCC benchmark suite, complemented by a few from our own collection.Keywords
This publication has 26 references indexed in Scilit:
- Spike – Reproducible Simulation Experiments with Configuration File BranchingPublished by Springer Science and Business Media LLC ,2019
- Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networksComputational Biology and Chemistry, 2018
- MARCIE’s Secrets of Efficient Model CheckingLecture Notes in Computer Science, 2016
- MARCIE – Model Checking and Reachability Analysis Done EfficientlyLecture Notes in Computer Science, 2013
- Colouring Space - A Coloured Framework for Spatial Modelling in Systems BiologyLecture Notes in Computer Science, 2013
- Snoopy – A Unifying Petri Net ToolLecture Notes in Computer Science, 2012
- A comparative study of stochastic analysis techniquesPublished by Association for Computing Machinery (ACM) ,2010
- The analysis of distributed systems by means of predicate/transition-netsPublished by Springer Science and Business Media LLC ,2005
- Data Decision Diagrams for Petri Net AnalysisLecture Notes in Computer Science, 2002
- An open graph visualization system and its applications to software engineeringSoftware: Practice and Experience, 2000