scientific article; zbMATH DE number 1540512

zbMATH Open0956.68096MaRDI QIDQ4519781FDOQ4519781

Authors: Lars M. Kristensen 

Publication date: 4 December 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

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

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)