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

DOI10.1016/J.ENTCS.2007.04.018MaRDI QIDQ2867890zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

graph transformationsimulationstochastic modelling

Mathematics Subject Classification ID

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

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

Cites work

• A theory of stochastic systems. II: Process algebra
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 3113174 (Why is no real title available?)
• scientific article; zbMATH DE number 1330131 (Why is no real title available?)
• scientific article; zbMATH DE number 1786475 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• scientific article; zbMATH DE number 1884412 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• scientific article; zbMATH DE number 846904 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• Insensitivity of steady-state distributions of generalized semi-Markov processes. I
• Regenerative stochastic Petri nets
• Theoretical Aspects of Computing – ICTAC 2005

Cited in

(6)

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

Describes a project that uses

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)