Automatic hazard analysis of batch operations with Petri nets

被引：21
|
作者：
Wang, YF [1 ]
Wu, JY [1 ]
Chang, CT [1 ]
机构：
[1] Natl Cheng Kung Univ, Dept Chem Engn, Tainan 70101, Taiwan
来源：
RELIABILITY ENGINEERING & SYSTEM SAFETY | 2002年 / 76卷 / 01期
关键词：
batch operation; Petri net; digraph; HAZOP; fault tree analysis; minimal cut set;
D O I：
10.1016/S0951-8320(02)00002-9
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
A systematic procedure has been proposed in this study to construct Petri nets for modeling the fault propagation behaviors in batch processes. An efficient algorithm has also been developed to enumerate all possible scenarios, which may lead to an undesirable consequence. This approach has been applied to a number of examples. The results show that it is more accurate and more comprehensive when compared with the conventional methods. (C) 2002 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码：91 / 104
页数：14
相关论文
共 50 条
  • [1] Analysis of Petri nets with batch processing arcs
    Ohta, A
    Kato, C
    Tsuji, K
    SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2004, : 517 - 520
  • [2] Structural analysis of Petri Nets with batch processing arcs
    Ohta, Atsushi
    Kato, Chihiro
    Tsuji, Kohkichi
    2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS, 2006, : 4475 - +
  • [3] Hazard Analysis of Bidder Collusion in Reverse Auctions Based on Petri Nets
    Zhang, Xiaodan
    Lai, Ivan Ka Wai
    Fu, Jin
    Tang, Huajun
    IEEE ACCESS, 2020, 8 : 89546 - 89561
  • [4] Automatic generation of fuzzy Petri nets
    Yuan, Jie
    Shi, Haibo
    Yin, Zuozhong
    Shang, Wenli
    Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument, 2009, 30 (07): : 1560 - 1564
  • [5] Fault Tree Analysis of a Fire Hazard of a Power Distribution Cabinet with Petri Nets
    Pahsa, Alper
    Bayazit, T. Arinc
    Alat, Gokcen
    Baykal, Buyurman
    Havelsan, A. S.
    Binasi, Arge
    2010 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), 2010,
  • [6] Control of batch processes based on hierarchical Petri nets
    Yajima, T
    Ito, T
    Hashizume, S
    Kurimoto, H
    Onogi, K
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (11) : 2895 - 2904
  • [7] Automatic transformation of MSC diagrams into Petri Nets
    Kryvyy, SL
    Matvyeyeva, LE
    Lopatina, MV
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 140 - 145
  • [8] Automatic abstraction refinement for Petri nets verification
    Chen, ZY
    Zhou, CH
    Ding, DC
    HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 168 - 174
  • [9] Performance Analysis of Scheduling Rules in Remanufacturing Operations Using Stochastic Petri Nets
    Pan, Mi
    Wu, Weimin
    2014 IEEE 11TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2014, : 120 - 125
  • [10] Petri nets and Automatic Control: A historical perspective
    Giua, Alessandro
    Silva, Manuel
    ANNUAL REVIEWS IN CONTROL, 2018, 45 : 223 - 239
12345