This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions
October 2002 (vol. 28 no. 10)
pp. 933-943

Abstract—The time domain analysis of non-Markovian Stochastic Petri Nets (NMSPNs) with preemptive repeat identical (pri) type transitions is considered in this paper. The set of "time domain" equations describing the evolution of the marking process is provided. The relation of the time domain and the formerly available transform domain description is discussed. Based on the time domain description of the process, a simple numerical procedure is provided to analyze the transient behavior. Two examples are calculated to illustrate the proposed numerical method.

[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 State 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.

Index Terms:
Non-Markovian Stochastic Petri Nets, preemption policies, preemptive repeat identical (pri) type transition, time domain analysis.
Citation:
András Horváth, Miklós Telek, "Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions," IEEE Transactions on Software Engineering, vol. 28, no. 10, pp. 933-943, Oct. 2002, doi:10.1109/TSE.2002.1041050
Usage of this product signifies your acceptance of the Terms of Use.