Simulation of generalised semi-Markov processes based on graph transformation systems

DOI10.1016/J.ENTCS.2007.04.018zbMATH Open1278.68217OpenAlexW2095546018MaRDI QIDQ2867890FDOQ2867890

Authors: 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

Recommendations

• Graph Transformations
• Stochastic graph transformation systems
• Graph transformation systems: a semantics based on (stochastic) symmetric nets
• A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
• scientific article; zbMATH DE number 2016064
• Graph transformation for domain-specific discrete event time simulation
• scientific article; zbMATH DE number 3880414

zbMATH Keywords

simulationstochastic modellinggraph transformation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Handbook of Graph Grammars and Computing by Graph Transformation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fundamentals of algebraic graph transformation
• Insensitivity of steady-state distributions of generalized semi-Markov processes. I
• Title not available (Why is that?)
• A theory of stochastic systems. II: Process algebra
• Title not available (Why is that?)
• Theoretical Aspects of Computing – ICTAC 2005
• Title not available (Why is that?)
• Regenerative stochastic Petri nets
• Graph Transformations

Cited In (5)

• Stochastic graph transformation systems
• Graph Transformations
• A framework for stochastic system modelling and analysis (work in progress)
• Parallelism and concurrency of stochastic graph transformations
• Theoretical Aspects of Computing – ICTAC 2005

Uses Software

• PRISM
• AGG
• UMDES

This page was built for publication: Simulation of generalised semi-Markov processes based on graph transformation systems

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