Coloured Petri Nets : Modelling and Validation of Concurrent Systems - Jensen, Kurt (Springer)