A Brief Introduction to Coloured Petri Nets
Abstract elided by the publisher.
Related papers
- CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS TACAS 2001
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- Implicative Formulae in the "Proofs as Computations" Analogy POPL 1990
- Using Petri Net Invariants in State Space Construction TACAS 2003
- Towards a Certified Petri Net Model-Checker APLAS 2011
- PEP - More than a Petri Net Tool TACAS 1996
- Branching Processes of High-Level Petri Nets TACAS 2003