Coloured Petri net scheduling models: Timed state space exploration shortages | Publicación