Automated rare event simulation for stochastic Petri nets

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

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

13 Citations (Scopus)
13 Downloads (Pure)


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 publication10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
EditorsKaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. d' Argenio
Place of PublicationBerlin, Heidelberg
Number of pages17
ISBN (Electronic)978-3-642-40196-1
ISBN (Print)978-3-642-40195-4
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

Publication series

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


Conference10th International Conference on Quantitative Evaluation of Systems, QEST 2013
Abbreviated titleQEST
CityBuenos Aires
Internet address


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

Cite this