4.6 Article

Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems

Related references

Note: Only part of the references are listed.
Article Computer Science, Software Engineering

Object Petri nets - Using the nets-within-nets paradigm

R Valk

LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS (2004)