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

Last modified: Mon Dec 16 12:51:47 2002 -- CP-nets Webmaster