Distributed evaluation of stochastic Petri nets

A. Bell

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    90 Citations (Scopus)
    20 Downloads (Pure)

    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.
    Original languageUndefined
    Title of host publicationProceedings 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)
    EditorsPeter Buchholz, Ralf Lehnert, Micha Pioro
    Place of PublicationBerlin-Offenbach, Germany
    PublisherVDE Verlag GmbH
    Pages173-178
    Number of pages6
    ISBN (Print)3-8007-2851-6
    Publication statusPublished - 2004
    Event12th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB) together with the 3rd Polish-German Teletraffic Symposium (PGTS) - Dresden, Germany
    Duration: 12 Sep 200415 Sep 2004

    Publication series

    Name
    PublisherVDE Verlag GmbH

    Conference

    Conference12th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB) together with the 3rd Polish-German Teletraffic Symposium (PGTS)
    Period12/09/0415/09/04
    Other12-15 September 2004

    Keywords

    • Linear systems
    • Performance Evaluation
    • Petri nets
    • EWI-12226
    • METIS-219748
    • IR-74703
    • Markov chains
    • Model Checking
    • Cluster computing

    Cite this