Distributed evaluation of stochastic Petri nets

In this paper we present on the distributed performance evaluation and model checking of systems specified by stochastic Petri nets. The approaches discussed rely on an explicit state-space generation and target at the usage of clusters of workstations. We present results for systems with several hundreds of millions of states. For the case studies addressed, the distributed algorithms scale very well