A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies

DOI10.1007/978-3-030-51372-6_20zbMath1502.68162OpenAlexW3037127866MaRDI QIDQ5100746

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

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) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Software, source code, etc. for problems pertaining to computer science (68-04)

Related Items (2)

Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ PTGTSs

Uses Software

• PRISM
• Henshin
• SimSG

Cites Work

• Unnamed Item
• Probabilistic timed graph transformation systems
• Fundamentals of algebraic graph transformation
• On the Operationalization of Graph Queries with Generalized Discrimination Networks
• Co-integration, Error Correction, and the Econometric Analysis of Non-Stationary Data

This page was built for publication: A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies