Markovian Petri Net protocols with product form solution

Aurel A. Lazar; Thomas G. Robertazzi

doi:10.1016/0166-5316(91)90016-V

Markovian Petri Net protocols with product form solution

Aurel A. Lazar
, Thomas G. Robertazzi

Electrical Engineering

Columbia University

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

45 Scopus citations

Abstract

A class of Markovian Petri Net models whose equilibrium state probabilities satisfy detailed (local) balance equations is presented. Examples of their applicability include a bus oriented multiprocessor model, a version of the classical dining philosophers problem and an alternating bit protocol model. The natural topological space for embedding the state transition lattices for this class of MPNs is shown to be a multidimensional toroidal manifold.

Original language	English
Pages (from-to)	67-77
Number of pages	11
Journal	Performance Evaluation
Volume	12
Issue number	1
DOIs	https://doi.org/10.1016/0166-5316(91)90016-V
State	Published - Jan 1991

Keywords

alternating bit protocol
dining philosopher's problem
multiprocessor
product form solution
Stochastic Petri Net

Access to Document

10.1016/0166-5316(91)90016-V

Cite this

@article{046918ae2fc9442fa8f32b936a2e8088,

title = "Markovian Petri Net protocols with product form solution",

abstract = "A class of Markovian Petri Net models whose equilibrium state probabilities satisfy detailed (local) balance equations is presented. Examples of their applicability include a bus oriented multiprocessor model, a version of the classical dining philosophers problem and an alternating bit protocol model. The natural topological space for embedding the state transition lattices for this class of MPNs is shown to be a multidimensional toroidal manifold.",

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

author = "Lazar, \{Aurel A.\} and Robertazzi, \{Thomas G.\}",

year = "1991",

month = jan,

doi = "10.1016/0166-5316(91)90016-V",

language = "English",

volume = "12",

pages = "67--77",

journal = "Performance Evaluation",

issn = "0166-5316",

number = "1",

}

TY - JOUR

T1 - Markovian Petri Net protocols with product form solution

AU - Lazar, Aurel A.

AU - Robertazzi, Thomas G.

PY - 1991/1

Y1 - 1991/1

N2 - A class of Markovian Petri Net models whose equilibrium state probabilities satisfy detailed (local) balance equations is presented. Examples of their applicability include a bus oriented multiprocessor model, a version of the classical dining philosophers problem and an alternating bit protocol model. The natural topological space for embedding the state transition lattices for this class of MPNs is shown to be a multidimensional toroidal manifold.

AB - A class of Markovian Petri Net models whose equilibrium state probabilities satisfy detailed (local) balance equations is presented. Examples of their applicability include a bus oriented multiprocessor model, a version of the classical dining philosophers problem and an alternating bit protocol model. The natural topological space for embedding the state transition lattices for this class of MPNs is shown to be a multidimensional toroidal manifold.

KW - alternating bit protocol

KW - dining philosopher's problem

KW - multiprocessor

KW - product form solution

KW - Stochastic Petri Net

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

U2 - 10.1016/0166-5316(91)90016-V

DO - 10.1016/0166-5316(91)90016-V

M3 - Article

AN - SCOPUS:0025748953

SN - 0166-5316

VL - 12

SP - 67

EP - 77

JO - Performance Evaluation

JF - Performance Evaluation

IS - 1

ER -

Markovian Petri Net protocols with product form solution

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this