Original Articles: Coloured Petri net scheduling models: Timed state space exploration shortages