Integrating timed coloured Petri net models in the SIMIO simulation environment | Publicación