Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. 2 nd edition (1996)

by Kurt Jensen