PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
The pseudo-self-similar traffic model: application and validation
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Hi-index | 0.00 |
In this paper we present the tool SPN2MGM that can be used to construct and solve stochastic Petri nets using matrix-geometric techniques. The tool automatically recognizes the ``matrix-geometric structure'' of the Markov chain underlying the stochastic Petri net, and solves the Markov chain with these well-known and efficient techniques. We informally characterize the class of stochastic Petri nets of interest (a formal definition has been given in an earlier paper) after which we briefly touch upon the matrix-geometric solution approach. We then present an overview of SPN2MGM by discussing the model class supported and the internal methods used. We finish the paper with a case study in the area of queues with breakdowns. In particular, we present a model of a queueing system in which check- pointing can be used to shorten the recovery process after server- breakdowns have occurred.