Coloured petri nets : Basic concepts, analysis methods and practical use. - Jensen, Kurt, 1950- (Monographs in theoretical computer science, 1995)