A perspective on explicit state space exploration of coloured Petri nets: past, present, and future

DOI10.1007/978-3-642-13675-7_4MaRDI QIDQ3569860zbMATHOpenAlexFDO

Authors Lars M. 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)

Recommendations

• scientific article; zbMATH DE number 1540512
• Applications and Theory of Petri Nets 2004
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1755147
• scientific article; zbMATH DE number 107927

Cited in

(2)

• scientific article; zbMATH DE number 1755147 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004

Describes a project that uses

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569860)