Performance Analysis Using Stochastic Petri Nets

An isomorphism between the behavior of Petri nets with exponentially distributed transition rates and Markov processes is presented. In particular, k-bounded Petri nets are isomorphic to finite Markov processes and can be solved by standard techniques if k is not too large. As a practical example, we solve for the steady state average message delay and throughput on a communication link when the alternating bit protocol is used for error recovery.

[1]  Gerald Estrin,et al.  Models of Computations and Systems—Evaluation of Vertex Probabilities in Graph Models of Computations , 1967, JACM.

[2]  Keith A. Bartlett,et al.  A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.

[3]  Jerre D. Noe,et al.  A Petri Net model of the CDC 6400 , 1971, SIGOPS Workshop on System Performance Evaluation.

[4]  Raymond E. Miller,et al.  A Comparison of Some Theoretical Models of Parallel Computation , 1973, IEEE Transactions on Computers.

[5]  Leonard Kleinrock,et al.  Theory, Volume 1, Queueing Systems , 1975 .

[6]  Robert M. Keller,et al.  Formal verification of parallel programs , 1976, CACM.

[7]  Michel Hack,et al.  The Equality Problem for Vector Addition Systems is Undecidable , 1976, Theor. Comput. Sci..

[8]  Dean Isaacson,et al.  Markov Chains: Theory and Applications , 1976 .

[9]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[10]  Peter E. Lauer,et al.  Verification of Concurrent Systems of Processes , 1977, International Computing Symposium.

[11]  Stephen D. Shapiro,et al.  A stochastic petri net with applications to modelling occupancy times for concurrent task systems , 1979, Networks.

[12]  P. Merlin,et al.  Specification and Validation of Protocols , 1979, IEEE Trans. Commun..

[13]  Tilak Agerwala,et al.  Special Feature: Putting Petri Nets to Work , 1979, Computer.

[14]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[15]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[16]  I. Mitrani,et al.  Numerical methods for infinite Markov processes , 1980, PERFORMANCE '80.

[17]  Jean-Loup Baer,et al.  The two-step commitment protocol: Modeling, specification and proof methodology , 1981, ICSE '81.

[18]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .