Probabilistic graph transformation systems

DOI10.1007/978-3-642-33654-6_21MaRDI QIDQ2918991zbMATH OpenOpenAlexFDO

Authors Christian Krause, Holger Giese

Publication date 2 October 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33654-6_21

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Grammars and rewriting systems (68Q42)

Recommendations

• Probabilistic timed graph transformation systems
• Probabilistic timed graph transformation systems
• Stochastic graph transformation systems
• Graph Transformations
• Interval probabilistic timed graph transformation systems

Cited in

(18)

• Theoretical Aspects of Computing – ICTAC 2005
• Stochastic graph transformation systems
• Probabilistic timed graph transformation systems
• Interval probabilistic timed graph transformation systems
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• scientific article; zbMATH DE number 7453087 (Why is no real title available?)
• Stochastic decision Petri nets
• Probabilistic Metric Temporal Graph Logic
• Verification of random graph transformation systems
• Graph Transformations
• Probabilistic timed graph transformation systems
• Graph transformation systems: a semantics based on (stochastic) symmetric nets
• Compositional analysis of probabilistic timed graph transformation systems
• Constructing optimized constraint-preserving application conditions for model transformation rules
• A tale of two graph models: a case study in wireless sensor networks
• Stochastic graph transformation for social network modeling
• Strategic port graph rewriting: an interactive modelling framework
• A framework for stochastic system modelling and analysis (work in progress)

Describes a project that uses

Uses Software

• Henshin
• GROOVE
• PMaude
• Maude
• PRISM

This page was built for publication: Probabilistic graph transformation systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2918991)