Revisiting state space exploration of timed coloured petri net models to optimize manufacturing system’s performance | Publicación