Performance evaluation of concurrent systems using timed Petri nets

Zuberek, W.M.

Proc. ACM 13-th Annual Computer Science Conference; New Orleans LA, 12-15 March 1985, pp.326-329.

Abstract:

It is shown that the behavior of conflict-free Petri nets with exponentially distributed firing times can be represented by labeled directed "state" graphs in which labels describe the probabilities of transitions between vertices of the graph. For bounded Petri nets the corresponding state graphs are finite, and are isomorphic to finite state Markov chains, stationary descriptions can thus be obtained by standard techniques. An immediate application of such a model is performance analysis of concurrent systems, and in particular queueing systems with exponentially distributed arrival and service times. A simple example of an interactive computer system model is used as an illustration of performance evaluation.

Keywords:

Timed Petri nets, concurrent systems, state graphs, Markov chains, performance evaluation.

References:

• T. Agerwala, "Putting Petri nets to work"; IEEE Computer Magazine 1979(12)12, pp.85-94.
• D. Ferrari, Computer systems performance evaluation; Prentice-Hall 1978.
• J. Magott, "Performance evaluation of concurrent systems using Petri nets"; Information Processing Letters 1984(18)1, pp.7-13.
• P.M. Merlin, D.J. Farber, "Recoverability of communication protocols - implications of a theoretical study"; IEEE Trans. on Communications 1976(24)9, pp.1036-1049.
• M.K. Molloy, "Performance analysis using stochastic Petri nets"; IEEE Trans. on Computers 1982(31)9, pp.913-917.
• J.L. Peterson, "Petri nets"; ACM Computing Surveys 1977(9)3, pp.223-252.
• J.L. Peterson, Petri net theory and the modeling of systems, Prentice-Hall 1981.
• C. Ramchandani, "Analysis of asynchronous concurrent systems by timed Petri nets"; Project MAC Technical Report MAC-TR-120, Massachussetts Institute of Technology, Cambridge MA 1974.
• J. Sifakis, "Use of Petri nets for performance evaluation"; in Measuring, modelling and evaluating computer systems, North-Holland 1977, pp.75-93.
• W.M. Zuberek, "Timed Petri nets and preliminary performance evaluation"; Proc. IEEE 7-th Annual Symp. on Computer Architecture, La Baule, France 1980, pp.89-96.
• W.M. Zuberek, "Application of timed Petri nets to analysis of multiprocessor realizations of digital filters"; Proc. 25 Midwest Symp. on Circuits and Systems, Houghton MI, pp.134-139, 1982.