Coloured Petri Nets

Modelling and Validation of Concurrent Systems

By Kurt Jensen , Lars M. Kristensen

Coloured Petri Nets Cover Image

This textbook introduces the constructs of Coloured Petri Nets (CPN) modelling language and presents the related analysis methods in detail. It also provides a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies.

Full Description

  • ISBN13: 978-3-6420-0283-0
  • 400 Pages
  • User Level: Students
  • Publication Date: June 23, 2009
  • Available eBook Formats: PDF
  • eBook Price: $89.95
Buy eBook Buy Print Book Add to Wishlist
Full Description
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. Book website: http://www.cs.au.dk/CPnets/cpnbook/
Table of Contents

Table of Contents

  1. 1) Introduction to Modelling and Validation
  2. 2) Non
  3. Hierarchical Coloured Petri Nets
  4. 3) CPN ML Programming
  5. 4) Formal Definition of Non
  6. Hierarchical Coloured Petri Nets
  7. 5) Hierarchical Coloured Petri Nets
  8. 6) Formal Definition of Hierarchical Coloured Petri Nets
  9. 7) State Spaces and Behavioural Properties
  10. 8) Advanced State Space Methods
  11. 9) Formal Definition of State Spaces and Behavioural Properties
  12. 10) Times Coloured Petri Nets
  13. 11) Formal Definition of Timed Coloured Petri Nets
  14. 12) Simulation
  15. Based Performance Analysis
  16. 13) Behavioural Visualisation
  17. 14) Examples of Industrial Applications
  18. 15) Teaching Coloured Petri Nets
Errata

Please Login to submit errata.

No errata are currently published