Steady state analysis of markov regenerative SPN with age memory policy

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 977, Issue , 1995, Pages 165-179

  Telek, Miklós ^a   Bobbio, Andrea ^b   Jereb, László ^a   Puliafito, Antonio ^c   Trivedi, Kishor S ^d  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b UNIVERSITY OF BRESCIA   (Italy)

^c UNIVERSITY OF CATANIA   (Italy)

^d DUKE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; PETRI NETS; STOCHASTIC SYSTEMS;

CONTINUOUS TIME MARKOV CHAIN; EFFECTIVE ALGORITHMS; MARKOV REGENERATIVE PROCESS; NON-MARKOVIAN STOCHASTIC PETRI NETS; STEADY STATE SOLUTION; STEADY-STATE ANALYSIS;

CONTINUOUS TIME SYSTEMS;

EID: 84956970325     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0024314     Document Type: Conference Paper

References (14)

1. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Transactions on Software Engineering, 15:832-846, 1989.
2. M. Ajmone Marsan and G. Chiola. On Petri nets with deterministic and exponentially distributed firing times. In Lecture Notes in Computer Science, volume 266, pages 132-145. Springer Verlag, 1987.
3. A. Bobbio and M. Telek. Computational restrictions for SPN with generally distributed transition times. In D. Hammer K. Echtle and D. Powell, editors, First European Dependable Computing Conference (EDCC-1), Lecture Notes in Computer Science, volume 852, pages 131-148, 1994.
4. A. Bobbio and M. Telek. Markov regenerative SPN with non-overlapping activity cycles. In International Computer Performance and Dependability Symposium -IPDS95, pages 124-133. IEEE CS Press, 1995.
5. V. Catania, A. Puliafito, M. Scarpa, and L. Vita. Concurrent generalized petri nets. In Proceedings of Numerical Solution of Markov Chains, pages 359-382, Raleigh, NC, 1995.
6. Hoon Choi, V.G. Kulkami, and K. Trivedi. Markov regenerative stochastic Petri nets. Performance Evaluation, 20:337-357, 1994.
7. G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. IEEE Transactions on Software Engineering, 20:506-515, 1994.
8. E. Cinlar. Introduction to Stochastic Processes. Prentice-Hall, Englewood Cliffs, 1975.
9. A. Cumani. Esp - A package for the evaluation of stochastic Petri nets with phase-type distributed transition times. In Proceedings International Workshop Timed Petri Nets, pages 144-151, Torino (Italy), 1985. IEEE Computer Society Press no. 674.
10. R. German. New results for the analysis of deterministic and stochastic Petri nets. In International Computer Performance and Dependability Symposium - IPDS95, pages 114-123. IEEE CS Press, 1995.
11. R. German and C. Lindemann. Analysis of stochastic Petri nets by the method of supplementary variables. Performance Evaluation, 20:317-335, 1994.
12. C. Lindemann. An improved numerical algorithm for calculating steady-state so­lutions of deterministic and stochastic Petri net models. Performance Evaluation, 18:75-95, 1993.
13. M. Telek and A. Bobbio. Markov regenerative stochastic Petri nets with age type general transitions. In 16-th International Conference Application and Theory of Petri Nets, June 1995.
14. Miklós Telek. Some advanced reliability modelling techniques. Phd Thesis, Hungarian Academy of Science, 1994.