Coloured Petri nets : basic concepts, analysis methods, and practical use - Jensen, K. (Kurt), 1950- (Springer, 1992)