Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets

Abstract We examine product form equilibrium distributions for classes of batch movement queueing networks and stochastic Petri nets (SPNs). For this class of nets we use matrix techniques to obtain a particular product form result and a condition for its existence. In addition we derive a convolution algorithm for calculating the normalising constant of product form SPNs. The convolution requires the generation of marking sets for each place in the SPN and avoids the need to generate the reachability graph.

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

[2]  Peter G. Taylor,et al.  A net level performance analysis of stochastic Petri nets , 1989, The Journal of the Australian Mathematical Society. Series B. Applied Mathematics.

[3]  Peter G. Taylor,et al.  A convolution algorithm for calculating exact equilibrium distributions in resource allocation problems with moderate user interference , 1994, IEEE Trans. Commun..

[4]  W. J. Gordon,et al.  Closed Queuing Systems with Exponential Servers , 1967, Oper. Res..

[5]  Jean Walrand.  A DISCRETE-TIME QUEUEING NETWORK , 1983 .

[6]  Zbigniew Dziong,et al.  Congestion Probabilities in a Circuit-Switched Integrated Services Network , 1987, Perform. Evaluation.

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

[8]  Stephen S. Lavenberg,et al.  Mean Value Analysis by Chain of Product Form Queueing Networks , 1989, IEEE Trans. Computers.

[9]  Frank Kelly,et al.  Networks of queues with customers of different types , 1975, Journal of Applied Probability.

[10]  D. R. Axelrad.  2 – Markov Processes and Markov Random Fields , 1984 .

[11]  Nicolas D. Georganas,et al.  RECAL - A New Efficient Algorithm for the Exact Analysis of Multiple-Chain Closed Queueing Networks , 1985, SIGMETRICS.

[12]  J. R. Jackson.  Networks of Waiting Lines , 1957 .

[13]  F. Kelly,et al.  Networks of queues , 1976, Advances in Applied Probability.

[14]  Thomas G. Robertazzi,et al.  Markovian Petri Net Protocols with Product Form Solution , 1991, Perform. Evaluation.

[15]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[16]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

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

[18]  C. E. M. Pearce,et al.  Closed queueing networks with batch services , 1990, Queueing Syst. Theory Appl..

[19]  Stephen S. Lavenberg,et al.  Mean-Value Analysis of Closed Multichain Queuing Networks , 1980, JACM.

[20]  Peter Whittle,et al.  Systems in stochastic equilibrium , 1986 .

[21]  Jörg Desel,et al.  Reachability in Reversible Free Choice Systems , 1991, STACS.

[22]  Valerie Isham,et al.  Non‐Negative Matrices and Markov Chains , 1983 .

[23]  Jeffrey P. Buzen,et al.  Computational algorithms for closed queueing networks with exponential servers , 1973, Commun. ACM.

[24]  K. Mani Chandy,et al.  Open, Closed, and Mixed Networks of Queues with Different Classes of Customers , 1975, JACM.

[25]  W. Henderson,et al.  Some new results on queueing networks with batch movement , 1991, Journal of Applied Probability.

[26]  Richard F. Serfozo,et al.  Markovian network processes: Congestion-dependent routing and processing , 1989, Queueing Syst. Theory Appl..

[27]  Nicolas D. Georganas,et al.  RECAL—a new efficient algorithm for the exact analysis of multiple-chain closed queuing networks , 1986, JACM.

[28]  Richard J. Boucherie,et al.  Spatial birth-death processes with multiple changes and applications to batch service networks and c , 1990 .

[29]  Matteo Sereno,et al.  Computational algorithms for product form solution stochastic Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[30]  Peter G. Taylor,et al.  Embedded Processes in Stochastic Petri Nets , 1991, IEEE Trans. Software Eng..