Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets

Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

Volumn , Issue , 1999, Pages 64-73

  German, Reinhard ^a   Telek, Miklos ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Laplace Transforms; Markov Regenerative Stochastic Petri Nets; Transient and Stationary Analysis

Indexed keywords

LAPLACE TRANSFORMS; PETRI NETS; RANDOM PROCESSES;

ANALYTIC DESCRIPTIONS; CLOSED FORM SOLUTIONS; MARKOV RENEWAL THEORY; NON-MARKOVIAN STOCHASTIC PETRI NETS; NUMERICAL ALGORITHMS; STATIONARY ANALYSIS; STOCHASTIC PETRI NETS; SUPPLEMENTARY VARIABLES;

STOCHASTIC SYSTEMS;

EID: 0343223963     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.1999.796537     Document Type: Conference Paper

References (19)

1. A. Bobbio, V.G. Kulkarni, A. Puliafito, M. Telek, and K. Trivedi. Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets. In Proc. 6th Int. Conf. on Petri Nets and Performance Models, pages 113-122, Durham, North Carolina, USA, 1995.
2. E. Cinlar. Introduction to Stochastic Processes. Englewood Cliffs, NJ, USA, 1975.
3. H. Choi, V. G. Kulkarni, and K. S. Trivedi. Markov regenerative stochastic Petri nets. Perf. Eval., 20:337-357, 1994.
4. G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. IEEE Trans. Softw. Engin., 20:506-515, 1994.
5. J. W. Cohen. The Single Server Queue. North-Holland, 1969.
6. D. R. Cox. The analysis of non-Markov stochastic processes by the inclusion of supplementary variables. Proc. Camb. Phil. Soc. (Math. and Phys. Sciences), 51:433-441, 1955.
7. R. German. New results for the analysis of deterministic and stochastic Petri nets. In Proc. IEEE Int. Performance and Dependability Symp., pages 114-123, Erlangen, Germany, 1995.
8. R. German. Cascaded deterministic and stochastic Petri nets. In Proc. 3rd Int. Meeting on the Numerical Solution of Markov Chains, Zaragoza, Spain, 1999.
9. R. German. Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype tool. Perf. Eval., 1999. To appear.
10. R. German and C. Lindemann. Analysis of stochastic Petri nets by the method of supplementary variables. Perf. Eval., 20:317-335, 1994.
11. R. German, D. Logothetis, and K. S. Trivedi. Transient analysis of Markov regenerative stochastic Petri nets: A comparison of approaches. In Proc. 6th Int. Workshop on Petri Nets and Performance Models, pages 103-112, Durham, North Carolina, USA, 1995.
12. B. R. Haverkort. Matrix-geometric solution of infinite stochastic Petri nets. In Proc. IEEE Int. Performance and Dependability Symp., pages 72-81, Erlangen, Germany, 1995.
13. A. Heindl and R. German. A fourth order algorithm with automatic stepsize control for the transient analysis of DSPNs. IEEE Trans. Softw. Engin., 25:194-206, 1999.
14. L. Kleinrock. Queueing Systems, volume I. John Wiley & Sons, 1975.
15. C. Lindemann. An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models. Perf. Eval., 18:79-95, 1993.
16. C. Lindemann and G. Shedler. Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions. Perf. Eval., 23:565-582, 1996.
17. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley and Sons, 1995.
18. M. Ajmone Marsan and G. Chiola. On Petri nets with deterministic and exponentially distributed firing times. In Advances in Petri Nets 1986, LNCS 266, pages 132-145. Springer, 1987.
19. M. Telek and A. Horvath. Supplementary variable approach applied to the transient analysis of age-MRSPNs. In IEEE Proc. Int. Performance and Dependability Symp., pages 44-51, Durham, NC, USA, 1998.