Repository files navigation

Springer, July 2009

Available via:Springeramazon.co.ukamazon.com

Coloured Petri Nets (CP-nets or CPNs) is a language formodelling and validation of concurrent and distributed systems andother systems in which concurrency, synchronisation, and communicationplays a major role. The CPN textbook introduces the constructs of theCPN modelling language and explains how CPN models facilitatesimulation, state space analysis, behavioural visualisation, andsimulation-based performance analysis. It provides a comprehensiveroad map to the practical use of CP-nets including a presentation ofselected industrial case studies illustrating the use of CPN modellingand validation for design, specification, simulation, and verificationin a variety of application domains.

This website contains supplementary material for the textbook, including slides sets, CPNmodels, and suggestions for smaller projects.

• Selected chapters of the book are available for free
  • Preface
  • Table of Content
  • Chapter 1:Introduction
  • Chapter 2:Non-hierarchical CPNs
  • Chapter 15:Teaching CPNs
• CPN models for the individual chapters
• Slides for the individual chapters
• Projects putting CPNs into practical use

Material for the course on Coloured Petri Nets developed for the Petri Nets Course of the annual Petri Nets conferences are available from here:https://github.com/lmkr/cpncourse/blob/master/README.md

The CPN modelling language is supported by the computertoolCPN Tools

CPN Tools is available free of charge.