S. Christensen and N. D. Hansen, “Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs”, DPB, vol. 21, no. 398, May 1992.