Markov regenerative stochastic petri nets with general execution policies: Supplementary variable analysis and a prototype tool

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

Volumn 1469, Issue , 1998, Pages 255-266

  German, Reinhard ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

ANALYSIS METHOD; CONSTANT SCALING FACTOR; PREEMPTIVE RESUMES; PREEMPTIVE-REPEAT; PROTOTYPE TOOLS; STATIONARY ANALYSIS; STOCHASTIC PETRI NETS; SUPPLEMENTARY VARIABLES;

STOCHASTIC SYSTEMS;

EID: 84958045953     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-68061-6_21     Document Type: Conference Paper

References (19)

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. Softw. Engin. 15 (1989) 832-846.
2. M. Ajmone Marsan, G. Chiola. On Petri Nets with Deterministic and Exponentially Distributed Firing Times. Advances in Petri Nets 1986, Springer-Verlag, LNCS 266, pp. 132-145, 1987.
3. A. Bobbio, V.G. Kulkarni, A. Puliafito, M. Telek, K. Trivedi. Preemptive Repeat Identical Transitions in Markov Regenerative Stochastic Petri Nets. Proc. 6th Int. Conf. on Petri Nets and Performance Models, Durham, North Carolina, USA, pp. 113-122, 1995.
4. A. Bobbio, M. Telek. Markov Regenerative SPN with Non-Overlapping Activity Cycles. Proc. Int. Performance and Dependability Symp., 124-133, Erlangen, Germany, 1995.
5. H. Choi, V. G. Kulkarni, K. S. Trivedi.Markov Regenerative Stochastic Petri Nets. Perf. Eval. 20 (1994) 337-357.
6. G. Ciardo, R. German, C. Lindemann. A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. IEEE Trans. Softw. Engin. 20 (1994) 506-515.
7. 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 (1955) 433-441.
8. A. Cumani. ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times. Proc. Int. Workshop Timed Petri Nets, Torino, Italy, pp. 278-184, 1985.
9. R. German. New Results for the Analysis of Deterministic and Stochastic Petri Nets. Proc. IEEE Int. Performance and Dependability Symp., Erlangen, Germany, pp. 114-123, 1995.
10. R. German. About the Relationship of Embedding and Supplementary Variables in the Analysis of Markov Regenerative Models. Technical Report, TU Berlin, 1998.
11. R. German, C. Kelling, A. Zimmermann, G. Hommel. TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets. Perf. Eval. 24 (1995) 69-87.
12. R. German, C. Lindemann. Analysis of Stochastic Petri Nets by the Method of Supplementary Variables. Perf. Eval. 20 (1994) 317-335.
13. 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, Proc. 17th Int. Conf. Osaka, Japan, Springer- Verlag, LNCS 1091, pp. 172-191, 1996.
14. W. K. Grassmann. The GI/PH/1 Queue: A Method to Find the Transition Matrix, INFOR 20 (1982) 144-156.
15. 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.
16. M. Telek, A. Bobbio. Markov Regenerative Stochastic Petri Nets with Age Type General Transitions. Application and Theory of Petri Nets, Proc. 16th Int. Conf., Springer-Verlag, LNCS 935, pp. 471-489, 1995.
17. 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, pp. 165-179, Springer-Verlag, LNCS 977, 1995.
18. M. Telek, A. Bobbio, A. Puliafito. Steady State Solution of MRSPNs with Mixed Preemption Policies. Proc. IEEE Int. Performance and Dependability Symp., Urbana-Champaign, Illinois, USA, pp 106-115, 1996.
19. S. Wolfram. The Mathematica Book. 3rd ed. Wofram Media/Cambridge Unversity Press 1996.