Service stage Petri net models with product form solution

Document Type

Article

Publication Date

9-1-1990

Abstract

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. © 1990 J.C. Baltzer A.G. Scientific Publishing Company.

Identifier

34249959570 (Scopus)

Publication Title

Queueing Systems

External Full Text Location

https://doi.org/10.1007/BF01154551

e-ISSN

15729443

ISSN

02570130

First Page

355

Last Page

373

Issue

3-4

Volume

7

This document is currently not available here.

Share

COinS