A modeling framework to implement preemption policies in non-markovian SPNs

IEEE Transactions on Software Engineering

Volumn 26, Issue 1, 2000, Pages 36-54

  Bobbio, Andrea ^a   Puliafito, Antonio ^b   Tekel, Miklós ^c  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF MESSINA   (Italy)

^c BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Markov regenerative processes; Preemptive policies; Stochastic petri nets; Transient and steady state analysis

Indexed keywords

MARKOV REGENERATIVE STOCHASTIC PETRI NETS (MRSPN);

MATHEMATICAL MODELS; PETRI NETS; RANDOM PROCESSES;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0033872918     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.825765     Document Type: Article

References (35)

1. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, "The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets," IEEE Trans. Software Eng., vol. 15, pp. 832-846, 1989.
2. A. Bobbio, V.G. Kulkarni, A. Puliafito, M. Telek, and K. Trivedi, "Preemptive Repeat Identical Transitions in Markov Regenerative Stochastic Petri Nets," Proc. Sixth Int'l Conf. J. Petri Nets and Performance Models, PNPM'95, pp. 113-122, IEEE Computer Society, 1995.
3. A. Bobbio and M. Telek, "Combined Preemption Policies in MRSPN," R. Mittal et al. ed., Fault Tolerant Systems and Software, pp. 92-98, Narosa Publishing House, New Dehli, India, 1995.
4. A. Bobbio and M. Telek, "Markov Regenerative SPN with Nonoverlapping Activity Cycles," Int'l Computer Performance and Dependability Symp., /PDS'95, pp. 124-133, IEEE CS Press, 1995.
5. A. Bobbio and M. Telek, "Transient Analysis of a Preemptive Resume M/D/1/2/2 through Petri Net Model," Periodica Polytechnica, Ser. El. Eng., vol. 41, pp. 123-146, 1997.
6. H. Choi, V.G. Kulkarni, and K. Trivedi, "Transient Analysis of Deterministic and Stochastic Petri Nets," Proc. 14th Int'l Conf. Application and Theory of Petri Nets, Chicago, June 1993.
7. H. Choi, V.G. Kulkarni, and K. Trivedi, "Markov Regenerative Stochastic Petri Nets," Performance Evaluation, vol. 20, pp. 337-357, 1994.
8. G. Ciardo, "Discrete-Time Markovian Stochastic Petri Nets," Proc. Second Int'l Workshop Numerical Solution of Markov Chains," pp. 339-358, 1995.
9. G. Ciardo, R. German, and C. Lindemann, "A Characterization of the Stochastic Process Underlying a Stochastic Petri Net," IEEE Trans. Software Eng., vol. 20, pp. 506-515, 1994.
10. G. Ciardo and R. Zijal, "Well-Defined Stochastic Petri Nets," Proc. Fourth Int'l Workshop Modeling Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'96), pp. 278-284. IEEE CS Press 1996.
11. E. Cinlar, Introduction to Stochastic Processes. Prentice Hall, Englewood Cliffs, 1975.
12. D.R. Cox, "The Analysis of Non-Markovian Stochastic Processes by the Inclusion of Supplementary Variables," Proc. Cambridge Phylosophical Soc., vol. 51, pp. 433-440, 1955.
13. A. Cumani, "Esp - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times," Proc. Int'l Workshop Timed Petri Nets, pp. 144-151, Torino, Italy, IEEE CS Press, no. 674, 1985.
14. J. Bechta, K. Dugan, K. Trivedi, R. Geist, and V.F. Nicola, "Extended Stochastic Petri Nets: Applications and Analysis," Proc. Performance'84, Paris, 1984.
15. R. German, "New Results for the Analysis of Deterministic and Stochastic Petri Nets," International Computer Performance and Dependability Symp., IPDS'95, pp. 114-123, IEEE CS Press, 1995.
16. R. German, "Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables," MASCOT'95, pp. 394-398, 1995.
17. R. German, C. Kelling, A. Zimmermann, and G. Hommel, "TimeNET - A Toolkit for Evaluating Non-Markovian StochasticPetri Nets," Performance Evaluation, vol. 24, pp. 69-87, 1995.
18. R. German and C. Lindemann, "Analysis of Stochastic Petri Nets by the Method of Supplementary Variables," Performance Evaluation, vol. 20, pp. 317-335, 1994.
19. R. German, D. Logothetis, and K. Trivedi, "Transient Analysis of Markov Regenerative Stochastic Petri Nets: A Comparison of Approaches," Proc. Sixth Int'l Conf. Petri Nets and Performance Models, PNPM'95, pp. 103-112, IEEE Computer Society, 1995.
20. W.K. Grassmann, , "The GI/PH/1 Queue: A Method to Find the Transition Matrix," INFOR, vol. 20, pp. 144-156, 1982.
21. P.J. Haas and G.S. Shedler, "Regenerative Stochastic Petri Nets," Performance Evaluation, vol. 6, pp. 189-204, 1986.
22. B.R. Haverkort and K. Trivedi, "Specification Techniques for Markov Reward Models," Discrete Event Dynamic Systems: Theory and Applications, vol. 3, pp. 219-247, 1993.
23. A. Heindl and R. German, "A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs," Proc. Seventh Int'l Conf. Petri Nets and Performance Models, PNPM'97, pp. 60-69, IEEE Computer Society, 1997.
24. M.A. Holliday and M.K. Vernon, "A Generalized Timed Petri Net Model for Performance Analysis," IEEE Trans. Software Eng., vol. 13, pp. 1,297-1,310, 1987.
25. D.L. Jagerman, "An Inversion Technique for the Laplace Transform," The Bell System Technical }., vol. 61, pp. 1,995-2,002, Oct. 1982.
26. V.G. Kulkarni, Modeling and Analysis of Stochastic Systems. Chapman & Hall, 1995.
27. C. Lindemann, "An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models," Performance Evaluation, vol. 18, pp. 75-95, 1993.
28. C. Lindemann, "DSPN Express: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets, Performance Evaluation, vol. 22, pp. 3-21, 1995
29. M.K. Molloy, "Discrete Time Stochastic Petri Nets," IEEE Trans. Software Eng., vol. 11, pp. 417-423, 1985.
30. W.H. Press, S.A. Teukolsky, W.T. Vetterling, and B.P. Flannery, Numerical Recipes in C: The Art of Scientific Computing. Cambridge Univ. Press, 1992.
31. A. Reibman and K.S. Trivedi, "Numerical Transient Analysis of Markov Models," Computers and Operations Research, vol. 15, pp. 19-36, 1988.
32. A. Reibman and K.S. Trivedi, "Transient Analysis of Cumulative Measures of Markov Chain Behavior," Stochastic Models, vol. 5, pp. 683-710, 1989.
33. M. Telek and A. Bobbio, "Markov Regenerative Stochastic Petri Nets with Age Type General Transitions," G. De Michelis and M. Diaz eds., Proc. 16th Int'l Conf. Application and Theory of Petri Nets, Lecture Notes in Computer Science, vol. 935, pp. 471-489, Springer-Verlag, 1995.
34. M. Telek, A. Bobbio, L. Jereb, A. Puliafito, and K. Trivedi, "Steady State Analysis of Markov Regenerative SPN with Age Memory Policy," H. Beilner, and F. Bause eds., Proc. Eighth Int'l Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Lecture Notes in Computer Science, vol. 977, pp. 165-179, Springer-Verlag, 1995.
35. M. Telek, A. Bobbio, and A. Puliafito, "Steady State Solution of MRSPN with Mixed Preemption Policies," Proc. Int'l Computer Performance and Dependability Symp., /PDS'96, pp. 106-115, IEEE CS Press, 1996.