Automated rare event simulation for stochastic Petri nets

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)
8 Downloads (Pure)

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 languageUndefined
Title of host publicationProceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013
EditorsK. Joshi, M. Siegle, M. Stoelinga, P.R. d' Argenio
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages372-388
Number of pages17
ISBN (Print)978-3-642-40195-4
DOIs
Publication statusPublished - 2013
Event10th International Conference on Quantitative Evaluation of Systems, QEST 2013 - University of Buenos Aires, Buenos Aires, Argentina
Duration: 27 Aug 201330 Aug 2013
Conference number: 10
http://www.qest.org/qest2013/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume8054
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Conference on Quantitative Evaluation of Systems, QEST 2013
Abbreviated titleQEST
CountryArgentina
CityBuenos Aires
Period27/08/1330/08/13
Internet address

Keywords

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

Cite this

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W., & Haverkort, B. R. H. M. (2013). Automated rare event simulation for stochastic Petri nets. In K. Joshi, M. Siegle, M. Stoelinga, & P. R. d' Argenio (Eds.), Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013 (pp. 372-388). (Lecture Notes in Computer Science; Vol. 8054). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-40196-1_31, https://doi.org/10.1007/978-3-642-40196-1