Probabilistic timed graph transformation systems

DOI10.1007/978-3-319-61470-0_10MaRDI QIDQ4972014zbMATH OpenOpenAlexFDO

Authors Maria Maximova, Holger Giese, Christian Krause

Publication date 22 November 2019

Published in Graph Transformation (Search for Journal in Brave)

Full work available at URL https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-397055

Mathematics Subject Classification ID

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

Recommendations

• Probabilistic timed graph transformation systems
• Interval probabilistic timed graph transformation systems
• Probabilistic graph transformation systems
• A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
• Compositional analysis of probabilistic timed graph transformation systems

Cited in

(9)

• Graph grammars according to the type of input and manipulated data: a survey
• Probabilistic timed graph transformation systems
• Compositional analysis of probabilistic timed graph transformation systems
• Interval probabilistic timed graph transformation systems
• Probabilistic graph transformation systems
• Probabilistic real-time rewrite theories and their expressive power
• A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
• Probabilistic Metric Temporal Graph Logic
• Compositional analysis of probabilistic timed graph transformation systems

This page was built for publication: Probabilistic timed graph transformation systems

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