Matrix-Geometric Solution of Infinite Stochastic Petri Nets

I n this paper we characterize a class of stochastic Petri nets that can be solved using matrix geometric techniques. Advantages of such a n 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. W e first characterize the class of stochastic Petri nets of interest by formally defining a number of constraints that have to be fulfilled. W e then discuss the matrix geometric solution technique that can be employed and present some boundary conditions o n tool support. W e 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.