Throughput analysis in timed colored Petri nets

Zuberek, W.M.

Proc. IEEE Int. Symp. on Circuits and Systems (ISCAS'93); Chicago, IL, June 1993, pp.2721-2724.

Abstract:

It is shown that the steady-state behavior of a class of timed colored Petri nets can be analyzed using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average values of firing times rather than firing time distribution functions, the same approach can be applied to a variety of net models. Throughput analysis is based on structural properties of nets only, so it avoids the potential complexity of reachability analysis, and it can be used for analysis of unbounded nets.

Keywords:

Timed Petri nets, colored Petri nets, operational analysis, throughput analysis.

References:

• M. Ajmone Marsan, G. Conte, G. Balbo, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems"; ACM Trans. on Computer Systems, vol.2, no.2, pp.93-122, 1984.
• J.P. Buzen, "Fundamental operational laws of computer system performance"; Acta Informatica, vol.7, no.2, pp.167-182, 1976.
• P.J. Denning, J.P. Buzen, "The operational analysis of queueing network models"; ACM Computing Surveys, vol.10, no.3, pp.225-261, 1978.
• K. Jensen, "Coloured Petri nets"; in Advanced Course on Petri Nets 1986 (Lecture Notes in Computer Science 254), G. Rozenberg (ed.), pp.248-299, Springer-Verlag 1987.
• P.J.B. King, Computer and communication systems performance modelling; Prentice-Hall 1990.
• E.D. Lazowska, J. Zahorjan, G.S. Graham, K.C. Sevcik, Quantitative system performance; Prentice-Hall 1984.
• T. Murata, "Petri nets: properties, analysis and applications"; Proceedings of IEEE, vol.77, no.4, pp.541-580, 1989.
• J.L. Peterson, Petri net theory and the modeling of systems, Prentice-Hall 1981.
• W. Reisig, Petri nets - an introduction; Springer-Verlag 1985.
• J. Sifakis, "Use of Petri nets for performance evaluation"; in Measuring, modelling and evaluating computer systems, pp.75-93, North-Holland 1977.
• W.M. Zuberek, "Timed Petri nets and preliminary performance evaluation"; Proc. 7-th Annual Symp. on Computer Architecture, pp.89-96, 1981.
• W.M. Zuberek, "Performance evaluation using timed colored Petri nets"; Proc. 33-rd Midwest Symp. on Circuits and Systems (Special Session on Petri Net Models), pp.779-782, 1990.
• W.M. Zuberek, "Timed Petri nets - definitions, properties and applications"; Microelectronics and Reliability (Special Issue on Petri Nets and Related Graph Models), vol.31, no.4, pp.627-644, 1991.

Available in pdf and postscript.