Dependencies in event trees analyzed by Petri nets

详细信息	查看全文 | 推荐本文 |

• 作者：Ond艡ej Ný ; vlt^a ; ^{nyvltond@fel.cvut.cz} ; ^{o.nyvlt@post.cz} ; Marvin Rausand^b
• 关键词：Risk analysis ; Event tree ; Fault tree ; Petri nets
• 刊名：Reliability Engineering and System Safety
• 出版年：2012
• 期刊代码：150_09518320
• 类别：et
• 出版时间：August, 2012
• 卷：104
• 期：Complete
• 页码：45-57
• 文件大小：430 K

摘要

This paper 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-state probabilities of the event tree if they are not properly analyzed. A new approach is proposed in this paper, 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 of dependencies (shared Programmable Logic Controllers and Common Cause Failures).