Algebraic approach to single-pushout graph transformation
Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
An algebraic framework for the transformation of attributed graphs
Term graph rewriting
An introduction to computer simulation
WSC '94 Proceedings of the 26th conference on Winter simulation
The algorithmic beauty of plants
The algorithmic beauty of plants
Handbook of graph grammars and computing by graph transformation
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Formal Relationship between Graph Grammars and Petri Nets
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
An introduction to parallel map generating systems
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
| Hi-index | 0.00 |
In this paper we present an approach that uses a formal specification formalism, namely graph grammars, to describe simulation models. The construction of the models is based on the concept of parallel composition of graph grammars, that is a kind of composition that is compatible with a true concurrency semantics. We provide the guidelines for describing and smoothly integrating the different aspects of a simulation model, namely the behaviour of the simulated system, the desired animation of the simulation and the statistics of the simulation.