Stochastic graph transformation systems
From MaRDI portal
Recommendations
Cited in
(17)- Probabilistic timed graph transformation systems
- Graph transformation systems: a semantics based on (stochastic) symmetric nets
- Moment semantics for reversible rule-based systems
- A framework for stochastic system modelling and analysis (work in progress)
- Modeling and verification of reliable messaging by graph transformation systems
- Simulation of generalised semi-Markov processes based on graph transformation systems
- Stochastic object-based graph grammars
- Parallelism and concurrency of stochastic graph transformations
- Probabilistic graph transformation systems
- On distributed stochastic logics for mobile systems
- Computing continuous-time Markov chains as transformers of unbounded observables
- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars
- Graph Transformations
- Theoretical Aspects of Computing – ICTAC 2005
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
- Compositional analysis of probabilistic timed graph transformation systems
- Stochastic graph transformation for social network modeling
This page was built for publication: Stochastic graph transformation systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3416073)
