For the most recent entries see the Petri Nets Newsletter.

Service Stage Petri Net Models with Product Form Solution.

Wang, I.Y.; Robertazzi, T.G.

In: Queueing Systems Theory and Applications, Vol. 7, No. 3--4, pages 355-374. November 1990.

Abstract: A class of service stage Petri net (SSPN) 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.

Keywords: service stage net model (with) product form solution; equilibrium probability; local balance equation; bus oriented multiprocessor interconnection; dining philosophers problem; alternating bit protocol; service stage net; toroidal manifold.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography