Welcome to the homepage of the CPN Book!

Coloured Petri Nets (CP-nets or CPNs) is a language for modelling and validation of concurrent and distributed systems and other systems in which concurrency, synchronisation, and communication plays a major role. The CPN textbook introduces the constructs of the CPN modelling language and explains how CPN models facilitate simulation, state space analysis, behavioural visualisation, and simulation-based performance analysis. It provides a comprehensive road map to the practical use of CP-nets including a presentation of selected industrial case studies illustrating the use of CPN modelling and validation for design, specification, simulation, and verification in a variety of application domains.


Kurt Jensen
Department of Computer Science
Aarhus University, Denmark

Lars Michael Kristensen
Department of Computer Engineering
Bergen University College, Norway

Springer, July 2009
Available via: Springer amazon.co.uk amazon.com

The CPN modelling language is supported by the computer tool CPN Tools. A license for CPN Tools can be obtained free of charge. This website contains supplementary material for the textbook, including slides sets, CPN models, and suggestions for exercises and projects.


Sample book content

K. Jensen, L.M. Kristensen, Coloured Petri Nets, DOI 10.1007/b95112, (C) Springer-Verlag Berlin Heidelberg 2009