
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
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. 832846, July, 1989.  
BibTex  x  
@article{ 10.1109/32.29483, author = {M. Ajmone Marsan and G. Balbo and A. Bobbio and G. Chiola and G. Conte and A. Cumani}, title = {The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets}, journal ={IEEE Transactions on Software Engineering}, volume = {15}, number = {7}, issn = {00985589}, year = {1989}, pages = {832846}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.29483}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets IS  7 SN  00985589 SP832 EP846 EPD  832846 A1  M. Ajmone Marsan, A1  G. Balbo, A1  A. Bobbio, A1  G. Chiola, A1  G. Conte, A1  A. Cumani, PY  1989 KW  execution policies; semantics; stochastic Petri nets; atomic transitions; race policy; continuous time homogeneous Markov chain; Markov processes; performance evaluation; Petri nets VL  15 JA  IEEE Transactions on Software Engineering ER   
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. RADCTR65377, 1966.
[2] T. Agerwala, "Putting Petri nets to work,"Computer, pp. 8594, Dec. 1979.
[3] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: PrenticeHall, 1981.
[4] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: SpringerVerlag, 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 68, 1980, pp. 8896.
[8] R. R. Razouk and C. V. Phelps, "Performance analysis using timed Petri Nets," inProc. Int. Conf. Parallel Processing, Aug. 1984, pp. 126129.
[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. 2833, 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 semiMarkov 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. 93122, 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. 4453.
[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. 507520.
[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. 132145.
[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. C33, no. 12, pp. 11951220, 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 TC Newslett., vol. SI1, no. 6, 1984.
[21] G. Florin and S. Natkin, "Les reseaux de Petri stochastiques,"TSI, vol. 4, no. 1, pp. 143160, 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 nonMarkovian stochastic processes by the inclusion of supplementary variables,"Proc, Cambridge Phil, Soc.vol. 51, pp. 433440, 1955.
[25] R. Pyke, "Markov renewal processes with finitely many states."Ann. Math. Stat., vol. 32, pp. 12431259, 1961.
[26] A. Cumani, "On the canonical representation of homogeneous Markov processes modelling failure time distributions,"Microelectron. Rel., vol. 22, pp. 583602, 1982.
[27] A. Cumani, "EspA package for the evaluation of stochastic Petri nets with phasetype distributed transition times," inProc. Int. Workshop Timed Petri Nets, IEEE Computer Society Press no. 674, Torino, Italy, 1985, pp. 144151.
[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. 173192.
[29] A. Zeine, "Coloured stochastic Petri nets," inProc. Int. Workshop Timed Petri Nets, Torino, Italy, July 1985, pp. 262271.
[30] C. Lin and C. Marinescu, "On stochastic highlevel 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. 191214, 1985.