Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets

Authors:
J. de Lara;C. Ermel;G. Taentzer;K. Ehrig
Affiliations:
Escuela Politécnica Superior, Ingeniería Informática, Universidad Autónoma de Madrid, Madrid, Spain;Technische Universität Berlin, Institut für Softwaretechnik und Theoretische Informatik, Berlin, Germany;Technische Universität Berlin, Institut für Softwaretechnik und Theoretische Informatik, Berlin, Germany;Technische Universität Berlin, Institut für Softwaretechnik und Theoretische Informatik, Berlin, Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2004

Citing 4
Cited 7

A model for distributed systems based on graph rewriting

Journal of the ACM (JACM)
Discrete-event simulation

Discrete-event simulation
AToM3: A Tool for Multi-formalism and Meta-modelling

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A Toolbox for Automating Visual Software Engineering

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering

A Collection Operator for Graph Transformation

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
A dynamically customizable process-centered evaluation model

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Parallel independence of amalgamated graph transformations applied to model transformation

Graph transformations and model-driven engineering
Simulating algebraic high-level nets by parallel attributed graph transformation

Formal Methods in Software and Systems Modeling
Nested quantification in graph transformation rules

ICGT'06 Proceedings of the Third international conference on Graph Transformations
Formal foundation of consistent EMF model transformations by algebraic graph transformation

Software and Systems Modeling (SoSyM)
A collection operator for graph transformation

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work discusses the use of parallel graph transformation systems for (multi-formalism) modeling and simulation and their implementation in the meta-modeling tool AToM^3. As an example, a simulator for Timed Transition Petri Nets (TTPN) is modeled using parallel graph transformation.