A simulator for probabilistic timed graph transformation systems with complex large-scale topologies

DOI10.1007/978-3-030-51372-6_20MaRDI QIDQ5100746zbMATHOpenAlexFDO

Authors Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese

Publication date 1 September 2022

Published in Graph Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-51372-6_20

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Software, source code, etc. for problems pertaining to computer science (68-04)

Recommendations

• Probabilistic timed graph transformation systems
• Probabilistic timed graph transformation systems
• Compositional analysis of probabilistic timed graph transformation systems
• Probabilistic Metric Temporal Graph Logic
• Interval probabilistic timed graph transformation systems

Cites work

• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• Co-integration, Error Correction, and the Econometric Analysis of Non-Stationary Data
• Fundamentals of algebraic graph transformation
• On the operationalization of graph queries with generalized discrimination networks
• Probabilistic timed graph transformation systems

Cited in

(8)

• PTGTSs
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• Simulation of generalised semi-Markov processes based on graph transformation systems
• Compositional analysis of probabilistic timed graph transformation systems
• Compositional analysis of probabilistic timed graph transformation systems
• Probabilistic timed graph transformation systems
• Probabilistic Metric Temporal Graph Logic
• Probabilistic timed graph transformation systems

Describes a project that uses

Uses Software

• PRISM
• Henshin
• SimSG

This page was built for publication: A simulator for probabilistic timed graph transformation systems with complex large-scale topologies

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