Distributed evaluation of stochastic Petri nets
Alexander Graham Bell · RWTH Publications (RWTH Aachen) · 2004
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.