Time domain analysis of non-Markovian stochastic Petri nets with PRI transitions

IEEE Transactions on Software Engineering

Volumn 28, Issue 10, 2002, Pages 933-943

  Horváth, András ^a   Telek, Miklós ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Non Markovian Stochastic Petri Nets; Preemption policies; Preemptive repeat identical (pri) type transition; Time domain analysis

Indexed keywords

LAPLACE TRANSFORMS; MARKOV PROCESSES; SYSTEMS ANALYSIS; TIME DOMAIN ANALYSIS;

TRANSIENT ANALYSIS;

PETRI NETS;

EID: 0036821865     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2002.1041050     Document Type: Conference Paper

References (18)

1. M.A. 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. M.A. Marsan and G. Chiola, "On Petri Nets with Deterministic and Exponentially Distributed Firing Times," Lecture Notes in Computer Science, vol. 266, pp. 132-145, 1987.
3. H. Choi, V.G. Kulkarni, and K. Trivedi, "Markov Regenerative Stochastic Petri Nets," Performance Evaluation, vol. 20, pp. 337-357, 1994.
4. R. German and C. Lindemann, "Analysis of Stochastic Petri Nets by the Method of Supplementary Variables," Performance Evaluation, vol. 20, pp. 317-335, 1994.
5. A. Bobbio and M. Telek, "Markov Regenerative SPN with Nonoverlapping Activity Cycles," Proc. Int'l Computer Performance and Dependability Symp.-IPDS '95, pp. 124-133, 1995.
6. M. Telek, A. Bobbio, L. Jereb, A. Puliafito, and K. Trivedi, "Steady Stare Analysis of Markov Regenerative SPN with Age Memory Policy," Proc. Eighth Int'l Conf. Modeling Techniques and Tools for Computer Performance Evaluation, H. Beilner and F. Bause, eds., vol. 977, pp. 165-179, 1995.
7. M. Telek and A. Horváth, "Transient Analysis of Age-MRSPNs by the Method Supplementary Variables," Performance Evaluation, vol. 45, no. 4, pp. 205-221, 2001.
8. 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. Petri Nets and Performance Models-PNPM '95, pp. 113-122, 1995.
9. R. Marie and K.S. Trivedi, "A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue," Information Processing Letters, vol. 24, pp. 397-401, 1987.
10. A. Bobbio and M. Telek, "Combined Preemption Policies in MRSPN," Fault Tolerant Systems and Software, R. Mittal et al., ed., pp. 92-98, 1995.
11. A. Bobbio, A. Puliafito, and M. Telek, "A Modeling Framework to Implement Combined Preemption Policies in MRSPNs," IEEE Trans. Software Eng., vol. 26, no. 1, pp. 36-54, Jan. 2000.
12. A. Horváth, A. Puliafito, M. Scarpa, and M. Telek, "A Discrete Time Approach to the Analysis of Non-Markovian Stochastic Petri Nets," Performance Tools 2000, Int'l Conf. Modelling Tools and Techniques for Computer and Comm. System Performance Evaluation, pp. 171-187, Mar. 2000.
13. 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.
14. R. German and M. Telek, "Towards a Foundation of the Analysis of Markov Regenerative Stochastic Petri Nets," Proc. Int'l Workshop Petri Nets and Performance Models (PNPM '99), pp. 64-73, Sept. 1999.
15. R. German, Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, 2000.
16. A. Bobbio and M. Telek, "Nonexponential Stochastic Petri Nets: an Overview of Methodes and Techniqueslicies," Tutorial, June 1997.
17. R. German, "New Results for the Analysis of Deterministic and Stochastic Petri Nets," Proc. Int'l Computer Performance and Dependability Symp.-(IPDS '95), pp. 114-123, 1995.
18. 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, 1997.