Dependencies in event trees analyzed by Petri nets

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F10%3A00169533" target="_blank" >RIV/68407700:21230/10:00169533 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Dependencies in event trees analyzed by Petri nets
Original language description
This paper discusses how event trees with dependent pivotal events, that are modeled by fault trees, can be modeled and analyzed by non-marked Petri nets. The dependencies may, for example, be caused by shared utilities, common components or general Common Cause Failures (CCF) that are modeled by, for example, ?-factor models. The dependencies pose a problem that cannot be solved properly by using standard modeling techniques with fault trees. Using independent fault trees can in this case cause major errors in the calculation of the probabilities of the end-states of the event tree. The proposed new method shows how to model the complete event tree by a non-marked Petri net and how to use the P-invariants, which are the structural property of every Petri net, to obtain an exact and correct probability function for every end-state of the event tree including dependencies.
Czech name
—
Czech description
—

Project
—
Continuities
S - Specificky vyzkum na vysokych skolach<br>V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)