Distributed evaluation of stochastic Petri nets


Bell, Alexander (2004) Distributed evaluation of stochastic Petri nets. In: 12th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB) together with the 3rd Polish-German Teletraffic Symposium (PGTS), 12-15 September 2004, Dresden, Germany (pp. pp. 173-178).

open access
Abstract: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.
Item Type:Conference or Workshop Item
Copyright:© 2004 VDE Verlag GmbH
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/74703
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 219748