Coloured Petri Nets
Coloured Petri Nets is a graphical oriented language for design,
specification, simulation and verification of systems. It is in particular
well-suited for systems that consists of a number of processes which
communicate and synchronise. Typical examples of application areas are
communication protocols, distributed systems, automated production systems,
work flow analysis and VLSI chips.
Very Brief Introduction to CP-nets
History of Petri Nets
CP-nets at University of Aarhus
Why use CP-nets?
Analysis of CP-nets
Introductory Papers on CP-nets