Return to Article Details Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs Download Download PDF