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