Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Kurt Jensen, Lars M. Kristensen9783642002830, 3642002838

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences.

In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies that illustrate the practical use of CPN modelling and validation for design, specification, simulation, verification and implementation in various application domains.

Their presentation primarily aims at readers interested in the practical use of CPN. Thus all concepts and constructs are first informally introduced through examples and then followed by formal definitions (which may be skipped). The book is ideally suitable for a one-semester course at an advanced undergraduate or graduate level, and through its strong application examples can also serve for self-study. An accompanying website offers additional material such as slides, exercises and project proposals.

Table of contents :
Front Matter….Pages i-ix
Introduction to Modelling and Validation….Pages 1-12
Non-hierarchical Coloured Petri Nets….Pages 13-41
CPN ML Programming….Pages 43-77
Formal Definition of Non-hierarchical Coloured Petri Nets….Pages 79-94
Hierarchical Coloured Petri Nets….Pages 95-125
Formal Definition of Hierarchical Coloured Petri Nets….Pages 127-149
State Spaces and Behavioural Properties….Pages 151-187
Advanced State Space Methods….Pages 189-201
Formal Definition of State Spaces and Behavioural Properties….Pages 203-229
Timed Coloured Petri Nets….Pages 231-255
Formal Definition of Timed Coloured Petri Nets….Pages 257-271
Simulation-based Performance Analysis….Pages 273-301
Behavioural Visualisation….Pages 303-312
Examples of Industrial Applications….Pages 313-361
Teaching Coloured Petri Nets….Pages 363-374
Back Matter….Pages 1-9