A net level performance analysis of stochastic Petri nets

Stochastic Petri Nets are used extensively to find performance measures for communication protocols. This paper illustrates how equilibrium distributions for the markings of a wide class of nets can be found directly without the need to generate a large state space and then resort to equilibrium balance equations.

[1]  Frank Kelly,et al.  Reversibility and Stochastic Networks , 1979 .

[2]  Martin Reiser,et al.  Mean-value analysis and convolution method for queue-dependent servers in closed queueing networks , 1981, Perform. Evaluation.

[3]  G. Chiola,et al.  An accurate performance model of CSMA/CD bus LAN , 1986, European Workshop on Applications and Theory of Petri Nets.

[4]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[5]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[6]  Stéphane Natkin,et al.  Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol , 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[7]  Gianfranco Balbo,et al.  Combining queueing network and Generalized Stochastic Petri Net models for the analysis of some software blocking phenomena , 1985, IEEE Transactions on Software Engineering.

[8]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[9]  Jonathan Billington,et al.  PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols , 1988, IEEE Trans. Software Eng..

[10]  Peter G. Taylor,et al.  Product form in networks of queues with batch arrivals and batch services , 1990, Queueing Syst. Theory Appl..

[11]  Marco Ajmone Marsan,et al.  A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.