Danos, Vincent
Heindel, Tobias
Honorato-Zimmer, Ricardo
Stucki, Sandro
Approximations for Stochastic Graph Rewriting
Formal Methods and Software Engineering -- 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
978-3-319-11736-2
10.1007/978-3-319-11737-9_1
1-10
In this note we present a method to compute approximate descriptions of a class of stochastic systems. For the method to apply, the system must be presented as a Markov chain on a state space consisting in graphs or graph-like objects, and jumps must be described by transformations which follow a finite set of local rules.
Stochastic Processes;
Graph Rewriting;
Rule-Based Systems;
Springer International Publishing
2014
http://infoscience.epfl.ch/record/210229/files/icfem.pdf;