A Framework for Stochastic System Modelling and Analysis
Sebastian Menge, Georgios Lajios · Electronic Notes in Theoretical Computer Science · 2006
Stochastic Graph Transformation combines the benefits of graphical modelling with stochastic analysis techniques. In this paper we report on our framework Sma for Stochastic Modelling and Analysis, and SGT⋆, a tool which uses the framework for Stochastic Graph Transformation.