Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site Stochastic Simulation of Graph Transformation Systems
Paolo Torrini, Reiko Heckel, István Ráth
abstract:
Graph transformation systems can be used for high-level stochastic
modelling of dynamic systems and networks. Allowing for non-exponential distributions, the resulting systems can be described as semi-Markov processes with graphs as states and transformations as transitions.
We present a tool for the stochastic simulation of such processes, developed in Java-Eclipse as an application of the graph transformation tool VIATRA. The main performance challenge in stochastic simulation of graph transformations, to find in each state of the simulation all matches for all rules, is addressed through VIATRA's incremental pattern matching approach. We illustrate and evaluate the application of the tool by the simulation of a P2P reconfiguration protocol.