Stochastic Coloured Petri Nets as a Modelling Language for Complex Event Trees

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21720%2F14%3A00207623" target="_blank" >RIV/68407700:21720/14:00207623 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1201/b15938-32" target="_blank" >http://dx.doi.org/10.1201/b15938-32</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1201/b15938-32" target="_blank" >10.1201/b15938-32</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Stochastic Coloured Petri Nets as a Modelling Language for Complex Event Trees

Popis výsledku v původním jazyce

This paper is summarizing the outputs of the first stage of the research focused on an evaluation of suitability of Stochastic Coloured Petri Nets (SCPN) for modelling and simulation of complex Event Tree/Fault Tree models. The suggested approach is based on the basic idea to create only one complex Petri Net model of an Event Tree. This model consists of not only the studied Event Tree (ET) but also of all Fault Trees describing Pivotal Events of the ET. SCPN seem to be a very promising platform for this purpose, because they offer coloured tokens and advanced conditioning of a firing of Petri Net transitions (which represent events of trees). These features, together with a suitable software tool, which is able to work with hierarchical nets, brings stochastic Petri Net (PN) model which is easier to read (less arcs and elements than in normal PN model). A SCPN model can be processed only by simulations, not by solving any exact equations. This is caused by a complexity of relations in a model. Using simulations (e.g. Monte-Carlo) has interesting side effect in wider modelling abilities. This paper also presents examples of the usage of the proposed methodology (i.e. Event Tree for a collision between offshore supply vessels and offshore installations) including a confrontation with classical approaches. For the methodology demonstration, the TimeNet software from TU Ilmenau is used.

Název v anglickém jazyce

Stochastic Coloured Petri Nets as a Modelling Language for Complex Event Trees

Popis výsledku anglicky

This paper is summarizing the outputs of the first stage of the research focused on an evaluation of suitability of Stochastic Coloured Petri Nets (SCPN) for modelling and simulation of complex Event Tree/Fault Tree models. The suggested approach is based on the basic idea to create only one complex Petri Net model of an Event Tree. This model consists of not only the studied Event Tree (ET) but also of all Fault Trees describing Pivotal Events of the ET. SCPN seem to be a very promising platform for this purpose, because they offer coloured tokens and advanced conditioning of a firing of Petri Net transitions (which represent events of trees). These features, together with a suitable software tool, which is able to work with hierarchical nets, brings stochastic Petri Net (PN) model which is easier to read (less arcs and elements than in normal PN model). A SCPN model can be processed only by simulations, not by solving any exact equations. This is caused by a complexity of relations in a model. Using simulations (e.g. Monte-Carlo) has interesting side effect in wider modelling abilities. This paper also presents examples of the usage of the proposed methodology (i.e. Event Tree for a collision between offshore supply vessels and offshore installations) including a confrontation with classical approaches. For the methodology demonstration, the TimeNet software from TU Ilmenau is used.

Druh

D - Stať ve sborníku

CEP obor

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

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

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

Rok uplatnění

2014

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

Safety, Reliability and Risk Analysis: Beyond the Horizon

ISBN

978-1-138-00123-7

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

201-208

Název nakladatele

CRC Press/Balkema

Místo vydání

Leiden

Místo konání akce

Amsterdam

Datum konání akce

29. 9. 2013

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

WRD - Celosvětová akce

Kód UT WoS článku

000339427100023