Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool

Performance Evaluation

Volumn 39, Issue 1-4, 2000, Pages 165-188

  German, Reinhard ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DATA STRUCTURES; MARKOV PROCESSES; PERFORMANCE; SOFTWARE PROTOTYPING; TELECOMMUNICATION TRAFFIC; WORLD WIDE WEB;

GENERAL EXECUTION POLICY; PREEMPTIVE REPEAT DIFFERENT; PREEMPTIVE RESUME; STOCHASTIC PETRI NETS;

PETRI NETS;

EID: 0034140504     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(99)00063-2     Document Type: Article

References (31)

1. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, A. Cumani, The effect of execution policies on the semantics of stochastic Petri nets, IEEE Trans. Software Engrg. 15 (1989) 832-846.
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, Wiley, New York, 1995.
3. 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, vol. 266, Springer, Berlin, 1987, pp. 132-145.
4. A. Bobbio, V.G. Kulkarni, A. Puliafito, M. Telek, K. Trivedi, Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets, Proceedings of the Sixth International Conference on Petri Nets and Performance Models, Durham, NC, 1995, pp. 113-122.
5. A. Bobbio, A. Puliafito, M. Scarpa, M. Telek, WebSPN: a web-accessible Petri net tool, Proceedings of the 18th International Conference on Application and Theory of Petri Nets, Springer, Berlin, 1997.
6. A. Bobbio, M. Telek, Markov regenerative SPN with non-overlapping activity cycles, Proceedings of the International Performance and Dependability Symposium, Erlangen, Germany, 1995, pp. 124-133.
7. G. Chiola, G. Franceschinis, R. Gaeta, M. Ribaudo, GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets, Performance Evaluation 24 (1995) 47-68.
8. H. Choi, V.G. Kulkarni, K.S. Trivedi, Markov regenerative stochastic Petri nets, Performance Evaluation 20 (1994) 337-357.
9. G. Ciardo, R. German, C. Lindemann, A characterization of the stochastic process underlying a stochastic Petri net, IEEE Trans. Software Engrg. 20 (1994) 506-515.
10. D.R. Cox, The analysis of non-Markov stochastic processes by the inclusion of supplementary variables, Proc. Camb. Phil. Soc. (Math. Phys. Sci.) 51 (1955) 433-441.
11. A. Cumani, ESP - a package for the evaluation of stochastic Petri nets with phase-type distributed transition times, Proceedings of the International Workshop Timed Petri Nets, Torino, Italy, 1985, pp. 278-184.
12. R. German, New results for the analysis of deterministic and stochastic Petri nets, Proceedings of the IEEE International Performance and Dependability Symposium, Erlangen, Germany, 1995, pp. 114-123.
13. R. German, Avoiding fill-in in the analysis of Markov-regenerative stochastic Petri nets, Proceedings of the Fouth International Workshop on Performability Modeling of Computer and Communication Systems, Williamsburg, VA, 1998, pp. 62-66.
14. R. German, Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool, in: R. Puigjaner, N.N. Savino, B. Serra (Eds.), Computer Performance Evaluation, Modelling Techniques and Tools, 10th International Conference on Tools'98, Palma de Mallorca, Spain, Lecture Notes in Computer Science, vol. 1469, Springer, Berlin, 1998.
15. R. German, Cascaded deterministic and stochastic Petri nets, Proceedings of the Third International Meeting on the Numerical Solution of Markov Chains, Zaragoza, Spain, 1999, pp. 111-130.
16. R. German, C. Kelling, A. Zimmermann, G. Hommel, TimeNET: a Toolkit for evaluating non-Markovian stochastic Petri nets, Performance Evaluation 24 (1995) 69-87.
17. R. German, C. Lindemann, Analysis of stochastic Petri nets by the method of supplementary variables, Performance Evaluation 20 (1994) 317-335.
18. R. German, A.P. van Moorsel, M.A. Qureshi, W.H. Sanders, Solution of stochastic Petri nets with general distributions, rate and impulse rewards, Application and Theory of Petri Nets 1996, Proceedings of the 17th International Conference Osaka, Japan, Lecture Notes in Computer Science, vol. 1091, Springer, Berlin, 1996, pp. 172-191.
19. R. German, M. Telek, Formal Relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets, Proceedings of the Eighth International Conference on Petri Nets and Performance Models, Zaragoza, Spain, 1999, pp. 64-73.
20. W.K. Grassmann, The GI7PH/1 queue: a method to find the transition matrix, INFOR 20 (1982) 144-156.
21. J. Keilson, A. Kooharian, On time dependent queuing processes, Ann. Math. Statist. 31 (1960) 104-112.
22. C. Lindemann, DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets, Performance Evaluation 22 (1995) 3-21.
23. C. Lindemann, R. German, Modeling discrete event systems with state-dependent deterministic service times, Discrete Event Dynamic Systems: Theory and Applications 3 (1993) 249-270.
24. C. Lindemann, G. Shedler, Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions, Performance Evaluation 23 (1996) 565-582.
25. L.M. Malhis, W.H. Sanders, An efficient two-stage iterative method for the steady-state analysis of Markov regenerative stochastic Petri net models, Performance Evaluation 27/28 (1996) 583-601.
26. W.H. Sanders, W.D. Obal II, M.A. Qureshi, F.K. Widjanarko, The UltraSAN modeling environment, Performance Evaluation 24 (1995) 89-115.
27. M. Telek, A. Bobbio, Markov regenerative stochastic Petri nets with age type general transitions, Application and Theory of Petri Nets, Proceedings of the 16th International Conference, Lecture Notes in Computer Science, vol. 935, Springer, Berlin, 1995, pp. 471-489.
28. M. Telek, A. Bobbio, L. Jereb, A. Puliafito, K.S. Trivedi, Steady state analysis of Markov regenerative SPN with age memory policy, Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science, vol. 977, Springer, Berlin, 1995, pp. 165-179.
29. M. Telek, A. Bobbio, A. Puliafito, Steady state solution of MRSPNs with mixed preemption policies, Proceedings of the IEEE International Performance and Dependability Symposium, Urbana-Champaign, IL, 1996, pp 106-115.
30. M. Telek, A. Horvath, Supplementary variable approach applied to the transient analysis of age-MRSPNs, Proceedings of the IEEE International Performance and Dependability Symposium, Durham, NC, pp. 44-51, 1998.
31. S. Wolfram, The Mathematica Book, 3rd ed., Cambridge Unversity Press, Cambridge, 1996.