Matrix-geometric solution of infinite stochastic Petri nets

Author

Haverkort, Boudewijn R.

Author_Institution

Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands

fYear

1995

fDate

24-26 Apr 1995

Firstpage

72

Lastpage

81

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

Petri nets; asynchronous transfer mode; computer network management; queueing theory; stochastic processes; ATM networks; connection management; delayed service; infinite stochastic Petri nets; large state spaces; matrix geometric solution technique; matrix geometric techniques; matrix-geometric solution; queueing system; tool support; Boundary conditions; Computer network management; Computer networks; Computer science; Delay systems; Design for quality; Petri nets; State-space methods; Stochastic processes; Stochastic systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Performance and Dependability Symposium, 1995. Proceedings., International

Conference_Location

Erlangen

Print_ISBN

0-8186-7059-2

Type

conf

DOI

10.1109/IPDS.1995.395815

Filename

395815