Automated rare event simulation for stochastic Petri nets

D.P. Reijsbergen, Pieter-Tjerk de Boer, Willem R.W. Scheinhardt, Boudewijn R.H.M. Haverkort, K. Joshi (Editor), M. Siegle, M. Stoelinga, P.R. d' Argenio (Editor)

Research output: Other contribution

1 Citation (Scopus)

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
PublisherSpringer
Number of pages17
Place of PublicationBerlin, Heidelberg
ISBN (Print)978-3-642-40195-4
DOIs
Publication statusPublished - 2013
Externally publishedYes

Keywords

  • EWI-23929
  • IR-87777
  • METIS-300136

Fingerprint Dive into the research topics of 'Automated rare event simulation for stochastic Petri nets'. Together they form a unique fingerprint.

Cite this