A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future

DOI10.1007/978-3-642-13675-7_4zbMath1285.68107OpenAlexW1606831295MaRDI QIDQ3569860

Lars Michael Kristensen

Publication date: 22 June 2010

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13675-7_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• CPN/Tools
• Design/CPN
• Access/CPN
• ASAP

This page was built for publication: A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future