All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Dependencies in event trees analyzed by Petri nets

The result's identifiers

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

  • Result on the web

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

Alternative languages

  • Result language

    angličtina

  • Original language name

    Dependencies in event trees analyzed by Petri nets

  • Original language description

    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

  • Czech name

  • Czech description

Classification

  • Type

    J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

  • CEP classification

    JS - Reliability and quality management, industrial testing

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/2C06010" target="_blank" >2C06010: Environment for the distant learning and on-line multimedia education</a><br>

  • Continuities

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

Others

  • Publication year

    2012

  • Confidentiality

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

Data specific for result type

  • Name of the periodical

    Reliability Engineering and System Safety

  • ISSN

    0951-8320

  • e-ISSN

  • Volume of the periodical

    104

  • Issue of the periodical within the volume

  • Country of publishing house

    GB - UNITED KINGDOM

  • Number of pages

    13

  • Pages from-to

    45-57

  • UT code for WoS article

    000306032500005

  • EID of the result in the Scopus database