This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language for the design, specification, simulation, validation and implementation of large software systems.The introductory first volume contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation of many small examples and a brief overview of some industrial applications. The purpose of the book is to teach the reader how to construct CP-net models and analyse them by means of simulation. The book is also attractive to readers who are more interested in applications than in the underlying mathematics.
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.
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.