Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs