Service stage Petri net models with product form solution

A class of service stage Petri net models whose equilibrium probabilities satisfy local balance equations is presented. Examples of their applicability include bus oriented multiprocessor interconnections, the classical dining philosophers problem and the alternating bit protocol. The natural topological space for embedding the state transition lattice for this class of SSPN is shown to be a multidimensional toroidal manifold.

[1]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

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

[3]  Wilfried Brauer,et al.  Net Theory and Applications , 1980, Lecture Notes in Computer Science.

[4]  Steven C. Bruell,et al.  Throughput Bounds for Generalized Stochastic Petri Net Models , 1985, PNPM.

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

[6]  Thomas G. Robertazzi,et al.  The geometry of lattices for Markovian queueing networks , 1986 .

[7]  Pieter S. Kritzinger,et al.  A Performance Model of the OSI Communication Architecture , 1986, IEEE Trans. Commun..

[8]  Peter J. Haas,et al.  Regenerative Simulation of Stochastic Petri Nets , 1985, PNPM.

[9]  C. Petri.  Kommunikation mit Automaten , 1962 .

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

[11]  Michael K. Molloy.  Fast Bounds for Stochastic Petri Nets , 1985, PNPM.

[12]  E. Gressier,et al.  A Stochastic Petri Net Model for Ethernet , 1985, PNPM.

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

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

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

[16]  Alexandre Zenie,et al.  Colored Stochastic Petri Nets , 1985, PNPM.

[17]  Marco Ajmone Marsan,et al.  Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.

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

[19]  Hany H. Ammar,et al.  Analysis of the Generalized Stochastic Petri Nets by State Aggregation , 1985, PNPM.

[20]  Tharam S. Dillon,et al.  Timed Places Petri Nets with Stochastic Representation of Place Time , 1985, PNPM.

[21]  Jerome A. Feldman,et al.  Coordinated computing: Tools and techniques for distributed software: By Robert E. Filman and Daniel F. Friedman. McGraw-Hill, New York, 1984 , 1985 .

[22]  Marco Ajmone Marsan,et al.  On Petri Nets with Stochastic Timing , 1985, PNPM.

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

[24]  Marco Ajmone Marsan,et al.  Modeling Bus Contention and Memory Interference in a Multiprocessor System , 1983, IEEE Transactions on Computers.

[25]  Daniel P. Friedman,et al.  Coordinated computing: tools and techniques for distributed software , 1984 .

[26]  Kishor S. Trivedi,et al.  The Design of a Unified Package for the Solution of Stochastic Petri Net Models , 1985, PNPM.