Improvements in Unfolding of Colored Petri Nets

[1]  Martin Schwarick,et al.  MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

[2]  Karsten Wolf,et al.  Petri Net Model Checking with LoLA 2 , 2018, Petri Nets.

[3]  Jirí Srba,et al.  TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets , 2012, TACAS.

[4]  Jirí Srba,et al.  TAPAAL and Reachability Analysis of P/T Nets , 2016, Trans. Petri Nets Other Model. Concurr..

[5]  Marco Beccuti,et al.  30 Years of GreatSPN , 2016 .

[6]  Dave Clarke,et al.  Modular Modelling of Software Product Lines with Feature Nets , 2011, SEFM.

[7]  Silvano Dal Zilio.  MCC: A Tool for Unfolding Colored Petri Nets in PNML Format , 2020, Application and Theory of Petri Nets and Concurrency.

[8]  Kurt Jensen,et al.  Coloured Petri Nets , 1986, EATCS Monographs in Theoretical Computer Science.

[9]  Martin Schwarick,et al.  Snoopy - A Unifying Petri Net Tool , 2012, Petri Nets.

[10]  F. Vernadat,et al.  The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .

[11]  Martin Schwarick,et al.  Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams , 2020, Petri Nets.

[12]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[13]  Isabelle Mounier,et al.  Automatic Symmetry Detection in Well-Formed Nets , 2003, ICATPN.

[14]  Monika Heiner,et al.  Spike - Reproducible Simulation Experiments with Configuration File Branching , 2019, CMSB.

[15]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[16]  Yann Thierry-Mieg,et al.  Symbolic Model-Checking Using ITS-Tools , 2015, TACAS.

[17]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .