论文信息 - Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets

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

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.

[1] Luciano Baresi,et al. A Toolbox for Automating Visual Software Engineering , 2002, FASE.

[2] Gabriele Taentzer,et al. Parallel and distributed graph transformation - formal description and application to communication-based systems , 1996, Berichte aus der Informatik.

[3] Ugo Montanari,et al. A model for distributed systems based on graph rewriting , 1987, JACM.

[4] George S. Fishman,et al. Discrete-Event Simulation : Modeling, Programming, and Analysis , 2001 .

[5] George S. Fishman,et al. Discrete-event simulation , 2001 .

[6] Ugo Montanari,et al. Specification of Concurrent Systems: from Petri Nets to Graph Grammars , 1995 .

[7] Albert Y. Zomaya. Parallel and Distributed Computing Handbook , 1995 .

[8] Dan Hirsch,et al. Graph Transformation Models for Software Architecture Styles , 2003 .

[9] Ingrid Fischer,et al. Distributed graph transformation with application to visual design of distributed systems , 1999 .

[10] Juan de Lara,et al. AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[11] James L. Peterson,et al. Petri Nets , 1977, CSUR.

[12] Satish K. Tripathi,et al. Parallel and distributed simulation of discrete event systems , 1994 .

[13] Juan de Lara,et al. Automated Model Transformation and Its Validation Using AToM 3 and AGG , 2004, Diagrams.