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