Abstract
| Language | Undefined |
|---|---|
| Title of host publication | Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013 |
| Editors | K. Joshi, M. Siegle, M. Stoelinga, P.R. d' Argenio |
| Place of Publication | Berlin, Heidelberg |
| Publisher | Springer |
| Pages | 372-388 |
| Number of pages | 17 |
| ISBN (Print) | 978-3-642-40195-4 |
| DOIs | |
| State | Published - 2013 |
| Event | 10th International Conference on Quantitative Evaluation of Systems, QEST 2013 - University of Buenos Aires, Buenos Aires, Argentina Duration: 27 Aug 2013 → 30 Aug 2013 Conference number: 10 http://www.qest.org/qest2013/ |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
| Volume | 8054 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 10th International Conference on Quantitative Evaluation of Systems, QEST 2013 |
|---|---|
| Abbreviated title | QEST |
| Country | Argentina |
| City | Buenos Aires |
| Period | 27/08/13 → 30/08/13 |
| Internet address |
Keywords
- EWI-23929
- IR-87777
- METIS-300136
Cite this
}
Automated rare event simulation for stochastic Petri nets. / Reijsbergen, D.P.; de Boer, Pieter-Tjerk; Scheinhardt, Willem R.W.; Haverkort, Boudewijn R.H.M.
Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013. ed. / K. Joshi; M. Siegle; M. Stoelinga; P.R. d' Argenio. Berlin, Heidelberg : Springer, 2013. p. 372-388 (Lecture Notes in Computer Science; Vol. 8054).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - Automated rare event simulation for stochastic Petri nets
AU - Reijsbergen,D.P.
AU - de Boer,Pieter-Tjerk
AU - Scheinhardt,Willem R.W.
AU - Haverkort,Boudewijn R.H.M.
N1 - 10.1007/978-3-642-40196-1
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
KW - EWI-23929
KW - IR-87777
KW - METIS-300136
U2 - 10.1007/978-3-642-40196-1_31
DO - 10.1007/978-3-642-40196-1_31
M3 - Conference contribution
SN - 978-3-642-40195-4
T3 - Lecture Notes in Computer Science
SP - 372
EP - 388
BT - Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013
PB - Springer
CY - Berlin, Heidelberg
ER -