Miguel Mujica, Miquel Angel Piera, Mercedes Narciso. Revisiting state space exploration of timed coloured petri net models to optimize manufacturing system s performance. Simulation Modelling Practice and Theory, 18(9):1225-1241, 2010. [doi]
Abstract is missing.