Coloured Petri nets: basic concepts, analysis methods and practical use by Jensen, Kurt fromMonographs in Theoretical Computer Science 0 Type: Book
