This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
July 1989 (vol. 15 no. 7)
pp. 832-846

Petri nets in which random delays are associated with atomic transitions are defined in a comprehensive framework that contains most of the models already proposed in the literature. To include generally distributed firing times into the model one must specify the way in which the next transition to fire is chosen, and how the model keeps track of its past history; this set of specifications is called an execution policy. A discussion is presented of the impact that different execution policies have on semantics of the mode, as well as the characteristics of the stochastic process associated with each of these policies. When the execution policy is completely specified by the transition with the minimum delay (race policy) and the firing distributions are of the phase type, an algorithm is provided that automatically converts the stochastic process into a continuous time homogeneous Markov chain. An execution policy based on the choice of the next transition to fire independently of the associated delay (preselection policy) is introduced, and its semantics is discussed together with possible implementation strategies.

[1] C. A. Petri, "Communication with automata," Rome Air Dev. Center, New York, NY, Tech. Rep. RADC-TR-65-377, 1966.
[2] T. Agerwala, "Putting Petri nets to work,"Computer, pp. 85-94, Dec. 1979.
[3] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[4] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1985.
[5] Proc. Int. Workshop Timed Petri Nets, Torino, Italy. Washington, DC: IEEE Computer Society Press, July 1985.
[6] Proc. Int. Workshop Petri Nets and Performance Models, Madison, WI. Washington, DC: IEEE Computer Society Press, Aug. 1987.
[7] W. M. Zuberek, "Timed Petri nets and preliminary performance evaluation," inProc. 7th Annu. Symp. Computer Architecture, May 6-8, 1980, pp. 88-96.
[8] R. R. Razouk and C. V. Phelps, "Performance analysis using timed Petri Nets," inProc. Int. Conf. Parallel Processing, Aug. 1984, pp. 126-129.
[9] M.A. Holliday and M.K. Vernon, "A Generalized Timed Petri Nets Model for Performance Analysis,"Proc. Int'l Workshop Timed Petri Nets, IEEE Computer Society Press, July 1985.
[10] F. J. W. Symons, "Introduction to numerical Petri nets, a general graphical model of concurrent processing systems,"A. T. R., vol. 14, no. 1, pp. 28-33, Jan. 1980.
[11] S. Natkin, "Les reseaux de Petri stochastiques et leur application a l'evaluation des systemes informatiques," These de Docteur Ingegneur, CNAM, Paris, France, 1980.
[12] M. K. Molloy, "On the integration of delay and throughput measures in distributed processing models," Ph.D. dissertation, Dep. Comput. Sci., Univ. of California, Los Angles, 1981.
[13] A. Bertoni and M. Torelli, "Probabilistic Petri nets and semi-Markov processes," inProc. 2nd European Workshop on Petri Nets, Bad Honnef, West Germany, Sept. 1981.
[14] M. Ajmone Marsan, G. Balbo, and G. Conte, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,"ACM Trans. Comput. Syst., vol. 2, pp. 93-122, May 1984.
[15] M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte, "Generalized stochastic Petri nets revisited: Random switches and priorities," inProc. Int. Workshop Petri Nets and Performance Models, Madison, WI, IEEE Computer Society Press, Aug. 1987, pp. 44-53.
[16] J. B. Dugan, K. S. Trivedi, R. M. Geist, and V. F. Nicola, "Extended stochastic petri nets: Applications and analysis," inProc. 10th Int. Symp. Comput. Performance (PERFORMANCE 84), Dec. 1984, pp. 507-520.
[17] M. Ajmone Marsan and G. Chiola, "On Petri nets with deterministic and exponentially distributed firing times," inAdvances in Petri Nets 1987, Lecture Notes in Computer Science 266, G. Rozenberg, Ed. New York: Springer, 1987, pp. 132-145.
[18] M. F. Neuts,Matrix Geometric Solutions in Stochastic Models. Baltimore, MD: Johns Hopkins University Press, 1981.
[19] P. Heidelberger and S. S, Lavenberg, "Computer performance evaluation methodology,"IEEE Trans. Comput., vol. C-33, no. 12, pp. 1195-1220, Dec. 1984.
[20] M. Ajmone Marsan, A. Bobbio, G. Conte, and A. Cumani, "Performance analysis of degradable multiprocessor systems using generalized stochastic Petri nets,"IEEE Comput. Soc. Distributed Processing T-C Newslett., vol. SI-1, no. 6, 1984.
[21] G. Florin and S. Natkin, "Les reseaux de Petri stochastiques,"TSI, vol. 4, no. 1, pp. 143-160, Feb. 1985.
[22] R. A. Howard,Dynamic Probabilistic Systems. New York: Wiley, 1971.
[23] M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, "On Petri nets with stochastic timing," IENGF, Torino, Italy, Internal Rep. 314, Apr. 1985.
[24] D. R. Cox, "The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables,"Proc, Cambridge Phil, Soc.vol. 51, pp. 433-440, 1955.
[25] R. Pyke, "Markov renewal processes with finitely many states."Ann. Math. Stat., vol. 32, pp. 1243-1259, 1961.
[26] A. Cumani, "On the canonical representation of homogeneous Markov processes modelling failure time distributions,"Microelectron. Rel., vol. 22, pp. 583-602, 1982.
[27] A. Cumani, "Esp--A package for the evaluation of stochastic Petri nets with phase-type distributed transition times," inProc. Int. Workshop Timed Petri Nets, IEEE Computer Society Press no. 674, Torino, Italy, 1985, pp. 144-151.
[28] A. Bobbio and A. Cumani, "Discrete state stochastic systems with phase type distributed transition times," inProc. ASME Int. Conf. Modelling and Simulation, Athens, Greece, 1984, pp. 173-192.
[29] A. Zeine, "Coloured stochastic Petri nets," inProc. Int. Workshop Timed Petri Nets, Torino, Italy, July 1985, pp. 262-271.
[30] C. Lin and C. Marinescu, "On stochastic high-level Petri nets," inProc. Int. Workshop on Petri Nets and Performance Models(Madison, WI), Aug. 1987.
[31] G. Memmi and A. Finkel, "An introduction to FIFO nets,"Theoret. Comput, Sci., vol. 35, pp. 191-214, 1985.

Index Terms:
execution policies; semantics; stochastic Petri nets; atomic transitions; race policy; continuous time homogeneous Markov chain; Markov processes; performance evaluation; Petri nets
Citation:
M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, A. Cumani, "The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets," IEEE Transactions on Software Engineering, vol. 15, no. 7, pp. 832-846, July 1989, doi:10.1109/32.29483
Usage of this product signifies your acceptance of the Terms of Use.