Title :
Matrix-geometric solution of infinite stochastic Petri nets
Author :
Haverkort, Boudewijn R.
Author_Institution :
Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
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;
Conference_Titel :
Computer Performance and Dependability Symposium, 1995. Proceedings., International
Conference_Location :
Erlangen
Print_ISBN :
0-8186-7059-2
DOI :
10.1109/IPDS.1995.395815