@inproceedings{8eb4872e0ab4499a88e68109c830b5d1,
title = "Distributed evaluation of stochastic Petri nets",
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.",
keywords = "Linear systems, Performance Evaluation, Petri nets, EWI-12226, METIS-219748, IR-74703, Markov chains, Model Checking, Cluster computing",
author = "A. Bell",
year = "2004",
language = "Undefined",
isbn = "3-8007-2851-6",
publisher = "VDE Verlag GmbH",
pages = "173--178",
editor = "Peter Buchholz and Ralf Lehnert and Micha Pioro",
booktitle = "Proceedings of the 12th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB) together with the 3rd Polish-German Teletraffic Symposium (PGTS)",
address = "Germany",
note = "12th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB) together with the 3rd Polish-German Teletraffic Symposium (PGTS) ; Conference date: 12-09-2004 Through 15-09-2004",
}