CPN Book (2009)

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