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

Result code in 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>

Result on the web

<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>

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JS - Reliability and quality management, industrial testing

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

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

Publication year

2014

Confidentiality

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

Article name in the collection

Safety, Reliability and Risk Analysis: Beyond the Horizon

ISBN

978-1-138-00123-7

ISSN

—

e-ISSN

—

Number of pages

8

Pages from-to

201-208

Publisher name

CRC Press/Balkema

Place of publication

Leiden

Event location

Amsterdam

Event date

Sep 29, 2013

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000339427100023