Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets
Juan D. Lara, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig · Electronic Notes in Theoretical Computer Science · 2004
This work discusses the use of parallel graph transformation systems for (multi-formalism) modeling and simulation and their implementation in the meta-modeling tool AToM3. As an example, a simulator for Timed Transition Petri Nets (TTPN) is modeled using parallel graph transformation.