Das Buch gibt eine zusammenhängende Darstellung der theoretischen und praktischen Aspekte gefärbter Petri-Netze (CPN) - einer Sprache für Entwurf, Spezifikation, Simulation, Validierung und Implementierung großer Softwaresysteme. Vorkenntnisse über Petri-Netze werden nicht vorausgesetzt. Das Werk besteht aus drei Bänden. Der einführende erste Band lehrt die Konstruktion von CPN-Modellen und ihre Analyse durch Simulation; viele Anwendungen werden detailliert beschrieben.

The book gives a detailed and systematic introduction to high-level Petri nets that includes explanation, motivation, examples, and applications.
The author is one of the leading authorities on Petri nets and a member of the steering committee for the International Conference on Application and Theory of Petri Nets.

Inhalt
1 Informal Introduction to Coloured Petri Nets.- 2 Formal Definition of Coloured Petri Nets.- 3 Hierarchical Coloured Petri Nets.- 4 Dynamic and Static Properties of Coloured Petri Nets.- 5 Formal Analysis of Coloured Petri Nets.- 6 Computer Tools for Coloured Petri Nets.- 7 Industrial Applications of Coloured Petri Nets.- References.