scientific article; zbMATH DE number 1540512

MaRDI QIDQ4519781zbMATH OpenFDO

Authors Lars M. Kristensen

Publication date 4 December 2000

zbMATH Keywords

coloured Petri nets

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modular state space analysis of coloured Petri nets
• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 4028914
• scientific article; zbMATH DE number 107927
• Colored Petri nets and the matrix approach

Cited in

(9)

• Modular state space analysis of coloured Petri nets
• State space analysis of Petri nets with relation-algebraic methods
• Coloured Petri net scheduling models: Timed state space exploration shortages
• scientific article; zbMATH DE number 2088667 (Why is no real title available?)
• A perspective on explicit state space exploration of coloured Petri nets: past, present, and future
• Colouring space -- a coloured framework for spatial modelling in systems biology
• scientific article; zbMATH DE number 1755147 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004
• Towards Efficient Verification of Systems with Dynamic Process Creation

Describes a project that uses

Uses Software

• Design/CPN

This page was built for publication:

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