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%2F12%3A00192270" target="_blank" >RIV/68407700:21230/12:00192270 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.ress.2012.03.013" target="_blank" >http://dx.doi.org/10.1016/j.ress.2012.03.013</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.ress.2012.03.013" target="_blank" >10.1016/j.ress.2012.03.013</a>

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 article discusses how non-marked Petri nets can be used to model and analyze event trees where the pivotal (branching) events are dependent and modeled by fault trees. The dependencies may, for example, be caused by shared utilities, shared components, or general Common Cause Failures that are modeled by beta-factor models. These dependencies are cumbersome to take into account when using standard event-/fault tree modeling techniques, and may lead to significant errors in the calculated end-stateprobabilities of the event tree if they are not properly analyzed. A new approach is proposed in this article, where the whole event tree is modeled by a non-marked Petri net and where P-invariants, representing the structural properties of the Petri net, are used to obtain the frequency of each end-state of the event tree with dependencies. The new approach is applied to a real example of an event tree analysis of the Strahov highway tunnel in Prague, Czech Republic including two types

Název v anglickém jazyce

Dependencies in event trees analyzed by Petri nets

Popis výsledku anglicky

This article discusses how non-marked Petri nets can be used to model and analyze event trees where the pivotal (branching) events are dependent and modeled by fault trees. The dependencies may, for example, be caused by shared utilities, shared components, or general Common Cause Failures that are modeled by beta-factor models. These dependencies are cumbersome to take into account when using standard event-/fault tree modeling techniques, and may lead to significant errors in the calculated end-stateprobabilities of the event tree if they are not properly analyzed. A new approach is proposed in this article, where the whole event tree is modeled by a non-marked Petri net and where P-invariants, representing the structural properties of the Petri net, are used to obtain the frequency of each end-state of the event tree with dependencies. The new approach is applied to a real example of an event tree analysis of the Strahov highway tunnel in Prague, Czech Republic including two types

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

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

OECD FORD obor

—

Projekt

<a href="/cs/project/2C06010" target="_blank" >2C06010: Prostředí pro distanční vzdělávání a on-line multimediální výuku</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2012

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 periodika

Reliability Engineering and System Safety

ISSN

0951-8320

e-ISSN

—

Svazek periodika

104

Číslo periodika v rámci svazku

—

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

13

Strana od-do

45-57

Kód UT WoS článku

000306032500005

EID výsledku v databázi Scopus

—