SPN2MGM: tool support for matrix-geometric stochastic Petri nets

Abstract

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.W e 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. W e then present an overview of SPN2MGM by discussing the model class supported and the internal methods used. W e 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 checkpointing can be used to shorten the recovery process after serverbreakdowns have occurred.

The pseudo-self-similar traffic model: application and validation

“…We resorted to the the tool SPN2MGM [21,22] to perform several case studies, where we observed a number of peculiarities (see next section) that led to the current paper.…”

“…SPN2MGM allows to derive reward-based performance measure from iSPNs by applying efficient solution algorithms to solve the underlying quasi-birth-and-death Markov chains. For further details on iSPNs, we refer to [21,22,31].…”