MARKOVIAN PETRI NET PROTOCOLS WITH PRODUCT FORM SOLUTION.

Aurel A. Lazar; Thomas G. Robertazzi

MARKOVIAN PETRI NET PROTOCOLS WITH PRODUCT FORM SOLUTION.

Aurel A. Lazar
, Thomas G. Robertazzi

Electrical Engineering

Stony Brook University

Columbia University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

18 Scopus citations

Abstract

A class of Markovian Petri net (MPN) models whose equilibrium probabilities satisfy detailed 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 lattices for ths class of MPNs is shown to be a multidimensional toroidal manifold.

Original language	English
Title of host publication	Proceedings - IEEE INFOCOM
Publisher	IEEE
Pages	1054-1062
Number of pages	9
ISBN (Print)	0818607688
State	Published - 1987

Publication series

Name	Proceedings - IEEE INFOCOM

Cite this

@inproceedings{1573655792f74c1db1dec2fe8f2da95e,

title = "MARKOVIAN PETRI NET PROTOCOLS WITH PRODUCT FORM SOLUTION.",

abstract = "A class of Markovian Petri net (MPN) models whose equilibrium probabilities satisfy detailed 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 lattices for ths class of MPNs is shown to be a multidimensional toroidal manifold.",

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

year = "1987",

language = "English",

isbn = "0818607688",

series = "Proceedings - IEEE INFOCOM",

publisher = "IEEE",

pages = "1054--1062",

booktitle = "Proceedings - IEEE INFOCOM",

}

TY - GEN

T1 - MARKOVIAN PETRI NET PROTOCOLS WITH PRODUCT FORM SOLUTION.

AU - Lazar, Aurel A.

AU - Robertazzi, Thomas G.

PY - 1987

Y1 - 1987

N2 - A class of Markovian Petri net (MPN) models whose equilibrium probabilities satisfy detailed 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 lattices for ths class of MPNs is shown to be a multidimensional toroidal manifold.

AB - A class of Markovian Petri net (MPN) models whose equilibrium probabilities satisfy detailed 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 lattices for ths class of MPNs is shown to be a multidimensional toroidal manifold.

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

M3 - Conference contribution

SN - 0818607688

T3 - Proceedings - IEEE INFOCOM

SP - 1054

EP - 1062

BT - Proceedings - IEEE INFOCOM

PB - IEEE

ER -

MARKOVIAN PETRI NET PROTOCOLS WITH PRODUCT FORM SOLUTION.

Abstract

Publication series

Other files and links

Fingerprint

Cite this