Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig. Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. Electronic Notes in Theoretical Computer Science, 109:17-29, 2004. [doi]
Abstract is missing.