Dependencies in event trees analyzed by Petri nets

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Dependencies in event trees analyzed by Petri nets

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Dependencies in event trees analyzed by Petri nets

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JS - Řízení spolehlivosti a kvality, zkušebnictví

OECD FORD obor

—

Projekt

—

Návaznosti

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

Rok uplatnění

2010

Kód důvěrnosti údajů

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

Název statě ve sborníku

Reliability, Risk and Safety. Back to the Future

ISBN

978-0-415-60427-7

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

—

Název nakladatele

Taylor & Francis

Místo vydání

London

Místo konání akce

Rhodes

Datum konání akce

5. 9. 2010

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—