Jensen, K. Coloured Petri Nets: A High Level Language for System Design and Analysis. DPB 1993, 19.