Coloured petri nets: basic concepts, analysis methods and practical use by Jensen, K., (Kurt) fromEATCS 0 Type: Book
