Christensen, S., and N. D. Hansen. “Coloured Petri Nets Extended With Place Capacities, Test Arcs and Inhibitor Arcs”. DAIMI Report Series, vol. 21, no. 398, May 1992, doi:10.7146/dpb.v21i398.6632.