Iterative analysis of Markov regenerative models

Performance Evaluation

Volumn 44, Issue 1-4, 2001, Pages 51-72

  German, Reinhard ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ITERATIVE METHODS; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; PETRI NETS;

COMPUTATIONAL COSTS; MARKOV REGENERATIVE MODELS; UNIFORMIZATION;

MARKOV PROCESSES;

EID: 0035311688     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(00)00061-4     Document Type: Article

References (29)

1. Carmo R.M.L.R., de Carvalho L.R., de Souza e Silva E., Diniz M.C., Muntz R.R. Performance/availability modeling with the TANGRAM-II modeling environment. Perform. Eval. 33:1998;45-65.
2. E. Çinlar, Introduction to Stochastic Processes, Prentice-Hall, Englewood Cliffs, NJ, 1975.
3. Choi H., Kulkarni V.G., Trivedi K.S. Markov regenerative stochastic Petri nets. Perform. Eval. 20:1994;337-357.
4. Ciardo G., German R., Lindemann C. A characterization of the stochastic process underlying a stochastic Petri net. IEEE Trans. Software Eng. 20:1994;506-515.
5. de Souza e Silva E., Gail H.R. Analyzing scheduled maintenance policies for repairable computer systems. IEEE Trans. Software Eng. 39(11):1990;1309-1324.
6. E. de Souza e Silva, H.R. Gail, R.R. Muntz, Efficient solutions for a class of non-Markovian models, Numerical Computation with Markov Chains, Kluwer Academic Publishers, Dordrecht, 1995, pp. 483-506.
7. Fox B.L., Glynn P.W. Computing Poisson probabilities. Commun. ACM. 31:1988;440-445.
8. German R. Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool. Perform. Eval. 39:2000;165-188.
9. R. German, Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets, Wiley, New York, 2000.
10. German R., Kelling C., Zimmermann A., Hommel G. TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets. Perform. Eval. 24:1995;69-87.
11. German R., Lindemann C. Analysis of stochastic Petri nets by the method of supplementary variables. Perform. Eval. 20:1994;317-335.
12. Grassmann W.K. Finding transient solutions in Markovian queueing systems. Oper. Res. 4:1977;47-53.
13. Grassmann W.K. The GI/PH/1 queue: a method to find the transition matrix. INFOR. 20:1982;144-156.
14. Gross D., Miller D.R. The randomization technique as a modeling tool and solution procedure for transient Markov processes. Oper. Res. 32:1984;345-361.
15. B.R. Haverkort, Matrix-geometric solution of infinite stochastic Petri nets, in: Proceedings of the IEEE International Conference on Performance and Dependability Symposium, Erlangen, Germany, 1995, pp. 72-81.
16. Jensen A. Markov chains as an aid in the study of Markoff processes. Scand. Actuar. 36:1953;87-91.
17. C. Lindemann, Performance Modeling with Deterministic and Stochastic Petri Net, Wiley, New York, 1998.
18. Lindemann C., Shedler G. Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions. Perform. Eval. 23:1996;565-582.
19. Malhis L.M., Sanders W.H. An efficient two-stage iterative method for the steady-state analysis of Markov regenerative stochastic Petri net models. Perform. Eval. 27/28:1996;583-601.
20. Ajmone Marsan M., Balbo G., Bobbio A., Chiola G., Conte G., Cumani A. The effect of execution policies on the semantics of stochastic Petri nets. IEEE Trans. Software Eng. 15:1989;832-846.
21. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, Wiley, New York, 1995.
22. M. Ajmone Marsan, G. Chiola, On Petri nets with deterministic and exponentially distributed firing times, Advances in Petri Nets 1986, Lecture Notes in Computer Science, No. 266, Springer, Berlin, 1987, pp. 132-145.
23. M. Ajmone Marsan, G. Chiola, A. Fumagalli, Improving the efficiency of the analysis of DSPN models, in: G. Rozenberg (Ed.), Advances in Petri Nets, Lecture Notes in Computer Science, No. 424, Springer, Berlin, 1990, pp. 30-50.
24. Molloy M.K. Performance analysis using stochastic Petri nets. IEEE Trans. Comput. 31:1982;913-917.
25. Muppala J., Malhotra M., Trivedi K.S. Stiffness-tolerant methods for transient analysis of stiff Markov chains. Microelectron. Reliab. 34:1994;1825-1841.
26. Sanders W.H., Obal W.D. II, Qureshi M.A., Widjanarko F.K. The UltraSAN modeling environment. Perform. Eval. 24:1995;89-115.
27. Sericola B. Availability analysis of repairable computer systems and stationarity detection. IEEE Trans. Comput. 48(11):1999;1166-1172.
28. W.J. Stewart, Introduction to the Numerical Solution of Markov Chains, Princeton University Press, Princeton, NJ, 1994.
29. M. Telek, A. Bobbio, A. Puliafito, Steady state solution of MRSPNs with mixed preemption policies, in: Proceedings of the Second IEEE International Conference on Performance and Dependability Symposium, Urbana-Champaign, IL, 1996, pp. 106-115.