Parallelism and Concurrency of Stochastic Graph Transformations


Graph transformation systems (GTS) have been proposed for high-level stochastic modelling of dynamic systems and networks. The resulting systems can be described as semi-Markov processes with graphs as states and transformations as transitions. The operational semantics of such processes can be explored through stochastic simulation. In this paper, we… (More)
DOI: 10.1007/978-3-642-33654-6_7


6 Figures and Tables