Efficient Solution of a Class of Infinite Stochastic Petri Nets: Theory and Applications

Boudewijn R.H.M. Haverkort

doi:10.1109/IPDS.1995.395815

Efficient Solution of a Class of Infinite Stochastic Petri Nets: Theory and Applications

Boudewijn R.H.M. Haverkort

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

143 Downloads (Pure)

Abstract

We characterize a class of stochastic Petri nets that can be solved using matrix geometric techniques. Advantages of such on approach are that very efficient mathematical technique become available for practical usage, as well as that the problem of large state spaces can be circumvented. We first characterize the class of stochastic Petri nets of interest by formally defining a number of constraints that have to be fulfilled. We then discuss the matrix geometric solution technique that can be employed and present some boundary conditions on tool support. We illustrate the practical usage of the class of stochastic Petri nets with two examples: a queueing system with delayed service and a model of connection management in ATM networks

Original language	Undefined
Title of host publication	Proceedings of the International Computer Performance and Dependability Symposium, IEEE Computer Society Press
Publisher	IEEE
Pages	72-81
ISBN (Print)	9780818670596
DOIs	https://doi.org/10.1109/IPDS.1995.395815
Publication status	Published - 13 Feb 1995
Event	International Computer Performance and Dependability Symposium, 1995 - Erlangen, Germany Duration: 24 Apr 1995 → 26 Apr 1995

Publication series

Name
Publisher	IEEE

Conference

Conference	International Computer Performance and Dependability Symposium, 1995
Period	24/04/95 → 26/04/95
Other	24-26 April 1995

Keywords

METIS-120034
IR-19511

Access to Document

10.1109/IPDS.1995.395815

00395815

Cite this

@inproceedings{0d39b84d555c40edb5a9c88a07d3f08c,

title = "Efficient Solution of a Class of Infinite Stochastic Petri Nets: Theory and Applications",

abstract = "We characterize a class of stochastic Petri nets that can be solved using matrix geometric techniques. Advantages of such on approach are that very efficient mathematical technique become available for practical usage, as well as that the problem of large state spaces can be circumvented. We first characterize the class of stochastic Petri nets of interest by formally defining a number of constraints that have to be fulfilled. We then discuss the matrix geometric solution technique that can be employed and present some boundary conditions on tool support. We illustrate the practical usage of the class of stochastic Petri nets with two examples: a queueing system with delayed service and a model of connection management in ATM networks",

keywords = "METIS-120034, IR-19511",

author = "Haverkort, {Boudewijn R.H.M.}",

year = "1995",

month = feb,

day = "13",

doi = "10.1109/IPDS.1995.395815",

language = "Undefined",

isbn = "9780818670596",

publisher = "IEEE",

pages = "72--81",

booktitle = "Proceedings of the International Computer Performance and Dependability Symposium, IEEE Computer Society Press",

note = "null ; Conference date: 24-04-1995 Through 26-04-1995",

}

Efficient Solution of a Class of Infinite Stochastic Petri Nets: Theory and Applications. / Haverkort, Boudewijn R.H.M.

Proceedings of the International Computer Performance and Dependability Symposium, IEEE Computer Society Press. IEEE, 1995. p. 72-81.

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

TY - GEN

T1 - Efficient Solution of a Class of Infinite Stochastic Petri Nets: Theory and Applications

AU - Haverkort, Boudewijn R.H.M.

PY - 1995/2/13

Y1 - 1995/2/13

N2 - We characterize a class of stochastic Petri nets that can be solved using matrix geometric techniques. Advantages of such on approach are that very efficient mathematical technique become available for practical usage, as well as that the problem of large state spaces can be circumvented. We first characterize the class of stochastic Petri nets of interest by formally defining a number of constraints that have to be fulfilled. We then discuss the matrix geometric solution technique that can be employed and present some boundary conditions on tool support. We illustrate the practical usage of the class of stochastic Petri nets with two examples: a queueing system with delayed service and a model of connection management in ATM networks

AB - We characterize a class of stochastic Petri nets that can be solved using matrix geometric techniques. Advantages of such on approach are that very efficient mathematical technique become available for practical usage, as well as that the problem of large state spaces can be circumvented. We first characterize the class of stochastic Petri nets of interest by formally defining a number of constraints that have to be fulfilled. We then discuss the matrix geometric solution technique that can be employed and present some boundary conditions on tool support. We illustrate the practical usage of the class of stochastic Petri nets with two examples: a queueing system with delayed service and a model of connection management in ATM networks

KW - METIS-120034

KW - IR-19511

U2 - 10.1109/IPDS.1995.395815

DO - 10.1109/IPDS.1995.395815

M3 - Conference contribution

SN - 9780818670596

SP - 72

EP - 81

BT - Proceedings of the International Computer Performance and Dependability Symposium, IEEE Computer Society Press

PB - IEEE

Y2 - 24 April 1995 through 26 April 1995

ER -