Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets | Publicación