Jensen, K. An Introduction to the Theoretical Aspects of Coloured Petri Nets. DPB 1994, 13.