Distributed evaluation of stochastic Petri nets


Share/Save/Bookmark

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.

[img]
Preview
PDF
53Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/74703
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 219748