Coloured Petri Nets Modelling and Validation of Concurrent Systems - Jensen, Kurt; Kristensen, Lars M. (Springer Berlin Heidelberg, 2009)