Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems

DOI10.1016/j.entcs.2007.04.018zbMath1278.68217OpenAlexW2095546018MaRDI QIDQ2867890

Piotr Kosiuczenko, Georgios Lajios

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.04.018

zbMATH Keywords

simulationstochastic modellinggraph transformation

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• PRISM
• AGG
• UMDES

Cites Work

• Insensitivity of steady-state distributions of generalized semi-Markov processes. I
• Fundamentals of algebraic graph transformation
• A theory of stochastic systems. II: Process algebra
• Regenerative stochastic Petri nets
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations
• Theoretical Aspects of Computing – ICTAC 2005
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item