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

DOI10.1007/978-3-030-51372-6_20zbMATH Open1502.68162OpenAlexW3037127866MaRDI QIDQ5100746FDOQ5100746

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

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

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)

Cites Work

• Co-integration, Error Correction, and the Econometric Analysis of Non-Stationary Data
• Fundamentals of algebraic graph transformation
• Title not available (Why is that?)
• On the Operationalization of Graph Queries with Generalized Discrimination Networks
• Probabilistic timed graph transformation systems

Cited In (4)

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

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)