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

by K Jensen