Expected impulse rewards in Markov regenerative stochastic Petri nets

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

Volumn 1091, Issue , 1996, Pages 172-191

  German, Reinhard ^a   Vanmoorsel, Aad P A ^b   Qureshi, Muhammad A ^b   Sanders, William H ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

Markov regenerative stochastic petri nets; Method of supplementary variables; Rate and impulse reward measures

Indexed keywords

COMPUTATION THEORY; PETRI NETS; QUEUEING NETWORKS;

PERFORMANCE AND DEPENDABILITY MEASURES; QUEUEING SYSTEM; STOCHASTIC PETRI NETS; SUPPLEMENTARY VARIABLES; VERSATILE TOOLS;

STOCHASTIC SYSTEMS;

EID: 84889767775     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_10     Document Type: Conference Paper

References (21)

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 on Petri Nets '87, pp. 132-145, Springer- Verlag LNCS 266, 1987.
3. A. Bobbio, M. Telek. Markov Regenerative SPN with Non-Overlapping Activity Cycles. Proc. IEEE Int. Performance and Dependability Symp., Erlangen, Germany, pp. 124-133, 1995.
4. H. Choi, V. G. Kulkami, K. S. Trivedi. Transient Analysis of Deterministic and Stochastic Petri Nets. Proc. 14th Int. Conf. on Application and Theory of Petri Nets, Chicago, IL, USA, pp. 166-185, Springer-Verlag LNCS 691, 1993.
5. H. Choi, V. G. Kulkarni, K. S. Trivedi. Markov Regenerative Stochastic Petri Nets. Perf. Eual. 20 (1994) 337-357.
6. G. Ciardo, A. Blakemore, P. F. Chimento, J. K. Muppala, K. S. Trivedi. Automated Generation and Analysis of Markov Reward Models using Stochastic Reward Nets. Linear Algebra, Markov Chains, and Queueing Models, Springer-Verlag, 1993.
7. 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.
8. 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.
9. D. R. Cox, H. D. Miller. The Theory of Stochastic Processes. Chapman and Hall, 1965.
10. 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.
11. R. German, C. Lindemann. Analysis of Stochastic Petri Nets by the Method of Supplementary Variables. Perf. Eual. 20 (1994) 317-335.
12. R. German, D. Logothetis, K, S. Trivedi. Transient Analysis of Markov Regenerative Stochastic Petri Nets: A Comparison of Approaches. Proc. Petri Nets and Performance Models '95, Durham, North Carolina, USA, pp. 103-112, 1995.
13. L. Kleinrock. Queueing Systems, Volume 1: Theory, John Wiley, 1975.
14. D. Logothetis, K. S. Trivedi, Time-Dependent Behavior of Redundant Systems with Deterministic Repair. Proc. 2nd Int. Workshop Numerical Solution of Markov Chains, Raleigh, NC, USA, 1995.
15. D. Logothetis, K. S. Trivedi, A. Puliafito. Markov Regenerative Models. Proc. IEEE Int. Performance and Dependability Symp., Erlangen, Germany, pp. 134-142, 1995.
16. M. A. Qureshi, W. H. Sanders. Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results. Perf. Eual. 20 (1994) 413-436.
17. M. A. Qureshi, W. H. Sanders. A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval, Proc. 26th Fault-Tolerant Computing Symposium, Sendai, Japan, 1996.
18. M. A. Qureshi, W. H. Sanders, A. P. A. van Moorsel, R. German. Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. Proc. Petri Nets and Performance Models '95, Durham, North Carolina, USA, pp. 180-190.
19. W. H. Sanders, J. F. Meyer. Performability Modeling of Distributed Systems Using Stochastic Activity Networks, Proc. Int. Workshop on Petri Nets and Performance Models, 1987, 111-120.
20. W. H. Sanders, J. F. Meyer. A Unified Approach for Specifying Measures of Performance, Dependability, and Performability. Dependable Computing for Critical Applications, Vol. 4, pp. 215-238, Springer Verlag, 1991.
21. M. Telek, A. Bobbio, L. Jereb, A. Puliafito, K.S. Trivedi. Steady State Analysis of Markov Regenerative SPN with Age Memory Policy. H. Beilner, F. Bause (Eds.): Quantitative Evaluation of Computing and Communication Systems, pp. 165-179, Springer LNCS 977, 1995.