Incremental state space construction for coloured Petri nets

DOI10.1007/3-540-45740-2_16MaRDI QIDQ4535182zbMATH OpenFDO

Authors Glenn Lewis, Charles A. Lakos

Publication date 13 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2075/20750263

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1540512
• Modular state space analysis of coloured Petri nets
• A perspective on explicit state space exploration of coloured Petri nets: past, present, and future
• Using Petri net invariants in state space construction
• Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 3988723
• Refinement of coloured petri nets

Cited in

(3)

• A perspective on explicit state space exploration of coloured Petri nets: past, present, and future
• Modular state space analysis of coloured Petri nets
• Experimenting Formal Proofs of Petri Nets Refinements

This page was built for publication: Incremental state space construction for coloured Petri nets

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