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

Electronic Notes in Theoretical Computer Science

Volumn 175, Issue 4 SPEC. ISS., 2007, Pages 73-86

  Kosiuczenko, Piotr ^a   Lajios, Georgios ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

graph transformation; simulation; Stochastic modelling

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; CONCURRENCY CONTROL; GRAPH THEORY; PROBABILITY DISTRIBUTIONS; STATISTICAL METHODS;

EXPONENTIAL TIME DISTRIBUTION; GRAPH TRANSFORMATION; STOCHASTIC SYSTEMS;

MARKOV PROCESSES;

EID: 34250814237     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.04.018     Document Type: Article

References (23)

1. Ajmone Marsan M., Balbo G., Conte G., Donatelli S., and Franceschinis G. Modelling with Generalized Stochastic Petri Nets (1995), John Wiley & Sons
2. D'Argenio P.R., and Katoen J.-P. A theory of stochastic systems: Part I and II. Information and Computation 203 1 (2005) 1-38
3. D'Argenio P.R., and Katoen J.-P. A theory of stochastic systems: Part I and II. Information and Computation 203 1 (2005) 39-74
4. P. Baldan, A. Corradini, U. Montanari, Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS 1999: 73-89
5. Brinksma E., and Hermanns H. Process Algebra and Markov Chains. In: Brinksma E., Hermanns H., and Katoen J.P. (Eds). Lectures on Formal Methods and Performance Analysis. LNCS 2090 (2001), Springer 183-231
6. Cassandras Chr.G., and Lafortune St. Introduction to discrete event systems (1999), Kluwer Academic Publishers, Boston
7. Cox D.R. A use of complex probabilities in the theory of stochastic processes. Proc. Camb. Phil. Soc. 51 (1955) 313-319
8. Ehrig H., Ehrig K., Prange U., and Taentzer G. Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science (2006), Springer
9. Haas P.J., and Shedler G.S. Regenerative stochastic Petri nets. Performance Evaluation 6 3 (September 1986) 189-204
10. Habel A., Heckel R., and Taentzer G. Graph Grammars with Negative Application Conditions. Fundamenta Informaticae 26 34 (1996) 287-313
11. Heckel R. Stochastic analysis of graph transformation systems: A case study in P2P networks. In: Dan Van H., and Wirsing M. (Eds). Proc. Intl. Colloquium on Theoretical Aspects of Computing. (ICTAC'05), Hanoi, Vietnam. LNCS volume 3722 (October 2005), Springer-Verlag
12. Heckel R., Lajios G., and Menge S. Stochastic Graph Transformation Systems. In: Ehrig H., Engels G., Parisi-Presicce F., and Rozenberg G. (Eds). Graph Transformations: Second International Conference, Proceedings. ICGT 2004, Rome, Italy, September 28-October 1, 2004. Lecture Notes in Computer Science 3256 (Oktober 2004), Springer 210-225
13. Hillston J., and Ribaudo M. Stochastic process algebras: a new approach to performance modeling. In: Bagchi K., Walrand J., and Zobrist G. (Eds). Modeling and Simulation of Advanced Computer Systems (1998), Gordon Breach
14. Kulkarni V.G. Modeling and Analysis of Stochastic Systems (1995), Chapman & Hall
15. Kwiatkowska M., Norman G., and Parker D. PRISM: Probabilistic symbolic model checker. In: Field T., Harrison P., Bradley J., and Harder U. (Eds). Proc. 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. (TOOLS'02). LNCS volume 2324 (2002), Springer 200-204
16. L'Ecuyer P., Meliani L., and Vaucher J. SSJ: A Framework for Stochastic Simulation in Java, Proceedings of the 2002 Winter Simulation Conference (Dec. 2002), IEEE Press 234-242
17. Infante López G.G., Hermanns H., and Katoen J.-P. Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. PAPM-PROBMIV 2001. LNCS 2165 (2001), Springer 5770
18. Mariani L. Fault-tolerant routing for p2p systems with unstructured topology. Proc. International Symposium on Applications and the Internet. (SAINT 2005), Trento (Italy) (2005), IEEE Computer Society
19. O.M. Mendizabal, F.L. Dotti, L. Ribeiro, Stochastic Object-Based Graph Grammars Brazilian Symposium on Formal Methods SBMF-2005, Porto Alegre
20. In: Rozenberg G. (Ed). Handbook of Graph Grammars and Computing by Graph Transformation: foundations, volume 1 (1997), World Scientific, River Edge, NJ, USA
21. Schassberger R. Insensitivity of steady-state distributions of generalized semi-Markov processes. Annals of Probability 5 1 (1977) 87-99
22. Taentzer G. AGG: A Graph Transformation Environment for Modeling and Validation of Software. http://tfs.cs.tu-berlin.de/agg Proc. Application of Graph Transformations with Industrial Relevance (AGTIVE'03), Pfaltz, J. and Nagl, M., Charlottesville/Virgina, USA, 2003
23. G. Varró, D. Varró: Graph Transformation with Incremental Updates. In Proc. GT-VMT 2004, Graph Transformation and Visual Modelling Techniques, Barcelona, Spain, March 2004