Automated Rare Event Simulation for Stochastic Petri Nets

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort

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

Abstract

We introduce an automated approach for applying rare event simulation to stochastic Petri net (SPN) models of highly reliable systems. Rare event simulation can be much faster than standard simulation because it is able to exploit information about the typical behaviour of the system. Previously, such information came from heuristics, human insight, or analysis on the full state space. We present a formal algorithm that obtains the required information from the high-level SPN-description, without generating the full state space. Essentially, our algorithm reduces the state space of the model into a (much smaller) graph in which each node represents a set of states for which the most likely path to failure has the same form. We empirically demonstrate the efficiency of the method with two case studies.
Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems
Subtitle of host publication 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
PublisherSpringer Berlin Heidelberg
Pages372-388
Number of pages17
Volume8054
ISBN (Electronic)978-3-642-40196-1
ISBN (Print)978-3-642-40195-4
DOIs
Publication statusPublished - 2013

Fingerprint

Dive into the research topics of 'Automated Rare Event Simulation for Stochastic Petri Nets'. Together they form a unique fingerprint.

Cite this