This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Estimation Methods for Nonregenerative Stochastic Petri Nets
March/April 1999 (vol. 25 no. 2)
pp. 218-236

Abstract—When a computer, manufacturing, telecommunication, or transportation system is modeled as a stochastic Petri net (SPN), many long-run performance characteristics of interest can be expressed as time-average limits of the associated marking process. For nets with generally-distributed firing times, such limits often cannot be computed analytically or numerically, but must be estimated using simulation. Previous work on estimation methods for SPNs has focused on the case in which there exists a sequence of regeneration points for the marking process of the net, so that point estimates and confidence intervals for time-average limits can be obtained using the regenerative method for analysis of simulation output. This paper is concerned with SPNs for which the regenerative method is not applicable. We provide conditions on the clock-setting distributions and new-marking probabilities of an SPN under which time-average limits are well defined and the output process of the simulation obeys a multivariate functional central limit theorem. It then follows from results of Glynn and Iglehart [9] that methods based on standardized time series can be used to obtain strongly consistent point estimates and asymptotic confidence intervals for time-average limits. In particular, the method of batch means is applicable. Moreover, the methods of Muñoz and Glynn can be used to obtain point estimates and confidence intervals for ratios of time-average limits. We illustrate our results using an SPN model of an interactive video-on-demand system.

[1] P.J. Haas and G.S. Shedler,“Regenerative Stochastic Petri Nets,” Performance Evaluation, vol. 6, pp. 189-204, 1986.
[2] P.J. Haas and G.S. Shedler, "Stochastic Petri Nets with Timed and Immediate Transitions," Comm. Statistics Stochastic Models, vol. 5, pp. 563-600, 1989.
[3] C. Lindemann and G.S. Shedler, "Numerical Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions," Performance Evaluation, vols. 27/28, pp. 565-582, 1996.
[4] H. Choi, V.G. Kulkarni, and K. Trivedi, “Markov Regenerative Stochastic Petri Nets,” Performance Evaluation, vol. 20, pp. 337-357, 1994.
[5] M.A. Crane and D.L. Iglehart, "Simulating Stable Stochastic Systems: III, Regenerative Processes and Discrete Event Simulation," Operations Research, vol. 23, pp. 33-45, 1975.
[6] P.W. Glynn and D.L. Iglehart, "Conditions for the Applicability of the Regenerative Method," Management Science, vol. 39, pp. 1,108-1,111, 1993.
[7] G.S. Shedler, Regenerative Stochastic Simulation.New York: Academic Press, 1993.
[8] P.W. Glynn, "A GSMP Formalism for Discrete Event Systems," Proc. IEEE, vol. 77, pp. 14-23, 1989.
[9] P.W. Glynn and D.L. Iglehart, "Simulation Output Analysis Using Standardized Time Series," Math. Operations Research, vol. 15, pp. 1-16, 1990.
[10] L.W. Shruben, "Confidence Interval Estimation Using Standardized Time Series," Operations Research, vol. 31, pp. 1,090-1,108, 1983.
[11] R.W. Conway, "Some Tactical Problems in Digital Simulation," Management Science, vol. 10, pp. 47-61, 1963.
[12] D.R. Brillinger, "Estimation of the Mean of a Stationary Time Series by Sampling," J. Applied Probability, vol. 10, pp. 419-431, 1973.
[13] B.L. Fox, D. Goldsman, and J.J. Swain, "Spaced Batch Means," Operations Research Letters, vol. 10, pp. 255-263, 1991.
[14] D. Goldsman, M.S. Meketon, and L.W. Shruben, "Properties of Standardized Time Series Weighted Area Variance Estimators," Management Science, vol. 36, pp. 602-612, 1990.
[15] R. Durrett, Probability: Theory and Examples.Pacific Grove, Calif.: Wadsworth and Brooks/Cole, 1991.
[16] S.P. Meyn and R.L. Tweedie, Markov Chains and Stochastic Stability.London: Springer-Verlag, 1993.
[17] P.J. Haas and G.S. Shedler, "Stochastic Petri Nets: Modeling Power and Limit Theorems," Probability Eng. Informational Sciences, vol. 5, pp. 477-498, 1991.
[18] P.J. Haas, "On Simulation Output Analysis for Generalized Semi-Markov Processes," Comm. Statistics Stochastic Models, 1998, to appear.
[19] D.F. Muñoz and P.W. Glynn, "A Batch Means Methodology for Estimation of a Nonlinear Function of a Steady State Mean," Management Science, vol. 43, pp. 1,121-1,135, 1997.
[20] S. Aggarwal, J. Garay, and A. Herzberg, "Adaptive Video-on-Demand," Algorithms—ESA '95, Proc. Third Ann. European Symp. Algorithms, pp. 538-553, Lecture Notes in Computer Science 979, Springer-Verlag, 1995.
[21] T. Pyssysalo and L. Ojala, "A High-Level Net Model of a Video on Demand System," Research Report A36, Digital Systems Laboratory, Helsinki Univ. of Tech nology, Otaniemi, Finland, 1995.
[22] P. Billingsley, Convergence of Probability Measures.New York: John Wiley&Son, 1968.
[23] S.N. Ethier and T.G. Kurtz, Markov Processes: Characterization and Convergence.New York: John Wiley&Son, 1986.
[24] S. Asmussen, Applied Probability and Queues.New York: John Wiley&Son, 1987.
[25] P.W. Glynn and S.P. Meyn, "A Lyapunov Bound for Solutions of Poisson's Equation" Ann. Probability, vol. 24, pp. 916-931, 1996.
[26] P.W. Glynn and P. L'Ecuyer, "Likelihood Ratio Gradient Estimation for Stochastic Recursions," Advances in Applied Probability, vol. 27, pp. 1, 019-1, 053, 1995.
[27] W.L. Smith, "Regenerative Stochastic Processes," Proc. Royal Soc. London Series A, vol. 232, pp. 6-31, 1955.
[28] B.L. Fox and P.W. Glynn, "Estimating Time Averages via Randomly-Spaced Observations," SIAM J. Applied Math., vol. 47, pp. 186-200, 1987.
[29] D. Muñoz, "Multivariate Standardized Time Series in the Analysis of Simulation Output," Technical Report 68, Dept. of Operations Research, Stanford Univ., California, 1991.
[30] P.W. Glynn and W. Whitt, "Sufficient Conditions for the Functional-Central-Limit-Theorem Versions of L =λW," Queueing Systems Theory Applications, vol. 1, pp. 279-287, 1987.
[31] P.W. Glynn and D.L. Iglehart, "Simulation Methods for Queues: An Overview," Queueing Systems Theory Applications, vol. 3, pp. 221-256, 1988.
[32] B. Schmeiser, "Batch Size Effects in the Analysis of Simulation Output," Operations Research, vol. 30, pp. 556-568, 1982.
[33] S.P. Meyn and R.L. Tweedie, "Stability of Markov Processes II: Continuous Time Processes and Sampled Chains," Advances in Applied Probability, vol. 25, pp. 487-517, 1993.
[34] S.P. Meyn and R.L. Tweedie, "Stability of Markov Processes III: Foster-Lyapunov Criteria for Continuous Time Processes," Advances in Applied Probability, vol. 25, pp. 518-548, 1993.
[35] J.L. Peterson, Petri Net Theory and the Modeling of Systems.Englewood Cliffs, N.J.: Prentice Hall, 1981.
[36] P.W. Glynn and W. Whitt, "Ordinary CLT and WLLN Versions of L =λW," Math. Operations Research, vol. 13, pp. 693-710, 1988.

Index Terms:
Stochastic Petri nets, stochastic simulation, discrete-event stochastic systems, standardized time series, batch means, modeling power, video on demand, Harris recurrence, Markov chains, generalized semi-Markov processes, stability.
Citation:
Peter J. Haas, "Estimation Methods for Nonregenerative Stochastic Petri Nets," IEEE Transactions on Software Engineering, vol. 25, no. 2, pp. 218-236, March-April 1999, doi:10.1109/32.761447
Usage of this product signifies your acceptance of the Terms of Use.