Coloured Petri Nets : basic concepts, analysis methods and practical use - Jensen, Kurt. (Springer, 1997)