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.
