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

DOI10.1007/978-3-642-13675-7_4zbMATH Open1285.68107OpenAlexW1606831295MaRDI QIDQ3569860FDOQ3569860

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

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

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)

Cited In (2)

• Title not available (Why is that?)
• Applications and Theory of Petri Nets 2004

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)