首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题:Equivalence of Fault Trees and Stochastic Petri Nets in Reliability Modelling
  • 本地全文:下载
  • 作者:Ondřej Vozár
  • 期刊名称:Statistika : Statistics and Economy Journal
  • 印刷版ISSN:0322-788X
  • 电子版ISSN:1804-8765
  • 出版年度:2020
  • 卷号:100
  • 期号:3
  • 页码:282-295
  • 语种:English
  • 出版社:Czech Statistical Office
  • 摘要:Modeling of reliability of the complex systems (machines, large networks, human body) is an important area of recent research. There are two main approaches applied: i) fault trees, ii) Petri nets. For the probabilistic study of a system is vital to know its minimal cut/minimal path sets. Both for fault trees and Petri Nets it is an NP-hard problem. Liu and Chiou (1997) described the equivalence of both representations for a given system. Furthermore, they found a top-down matrix algorithm to find critical cuts and minimal paths of the Petri net of the system. They claim without proof that their algorithm is more efficient than the ones for fault trees. We present both representations of a system. The algorithm is illustrated on a simple example of a three-masted vessel and a more complex “three-motor” system by Vesely et al. (1981).
国家哲学社会科学文献中心版权所有