Service stage Petri net models with product form solution

Irving Y. Wang; Thomas G. Robertazzi

doi:10.1007/BF01154551

Service stage Petri net models with product form solution

Irving Y. Wang
, Thomas G. Robertazzi

Electrical Engineering

New Jersey Institute of Technology

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

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.

Original language	English
Pages (from-to)	355-373
Number of pages	19
Journal	Queueing Systems
Volume	7
Issue number	3-4
DOIs	https://doi.org/10.1007/BF01154551
State	Published - Sep 1990

Keywords

alternating bit protocol
dining philosopher problem
multiprocessor
product form solution
Stochastic Petri network

Access to Document

10.1007/BF01154551

Cite this

@article{c79dd830e75440e1b0dceef96cbec0ed,

title = "Service stage Petri net models with product form solution",

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.",

keywords = "alternating bit protocol, dining philosopher problem, multiprocessor, product form solution, Stochastic Petri network",

author = "Wang, \{Irving Y.\} and Robertazzi, \{Thomas G.\}",

year = "1990",

month = sep,

doi = "10.1007/BF01154551",

language = "English",

volume = "7",

pages = "355--373",

journal = "Queueing Systems",

issn = "0257-0130",

number = "3-4",

}

TY - JOUR

T1 - Service stage Petri net models with product form solution

AU - Wang, Irving Y.

AU - Robertazzi, Thomas G.

PY - 1990/9

Y1 - 1990/9

N2 - 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.

AB - 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.

KW - alternating bit protocol

KW - dining philosopher problem

KW - multiprocessor

KW - product form solution

KW - Stochastic Petri network

UR - https://www.scopus.com/pages/publications/34249959570

U2 - 10.1007/BF01154551

DO - 10.1007/BF01154551

M3 - Article

AN - SCOPUS:34249959570

SN - 0257-0130

VL - 7

SP - 355

EP - 373

JO - Queueing Systems

JF - Queueing Systems

IS - 3-4

ER -

Service stage Petri net models with product form solution

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this