Christensen, S.; Hansen, N. D. Coloured Petri Nets Extended With Place Capacities, Test Arcs and Inhibitor Arcs. DPB 1992, 21.