Aarhus University Seal

CPN Book (2009)

 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.

K. Jensen and L.M. Kristensen: Coloured Petri Nets. Modelling and Validation of Concurrent Systems. Springer-Verlag 2009, ISBN: 978-3-642-00283-0. 

Visit the website of the book