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 条
  • [21] Specification of a batch plant using process algebra and Petri nets
    Falkman, P
    Lennartson, B
    Tittus, N
    2005 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2005, : 339 - 344
  • [22] Dynamic scheduling of batch processes based on simulation of Petri nets
    Li, Hui-Feng
    Fan, Yu-Shun
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2002, 14 (07):
  • [23] Specification of a batch plant using process algebra and petri nets
    Falkman, Petter
    Lennartson, Bengt
    Tittus, Michael
    CONTROL ENGINEERING PRACTICE, 2009, 17 (09) : 1004 - 1015
  • [24] Modular analysis of Petri nets
    Christensen, S
    Petrucci, L
    COMPUTER JOURNAL, 2000, 43 (03): : 224 - 242
  • [25] Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets
    Miyagi, PE
    Riascos, LAM
    CONTROL ENGINEERING PRACTICE, 2006, 14 (04) : 397 - 408
  • [26] Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets
    Miyagi, PE
    Riascos, LAM
    COST ORIENTED AUTOMATION - (LOW COST AUTOMATION 2001), 2002, : 27 - 32
  • [27] AUTOMATIC SCHEDULING OF BATCH-OPERATIONS
    HOGENSON, DC
    INTECH, 1990, 37 (04) : 30 - 32
  • [28] Automatic translation of time Petri Nets into Estelle description
    1600, Publ by Elsevier Science Publishers B.V., Amsterdam, Neth
  • [29] Automatic Construction of OWL Ontologies From Petri Nets
    Ma, Zongmin
    Cheng, Haitao
    Yan, Li
    INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS, 2019, 15 (01) : 21 - 51
  • [30] Automatic concurrent Program Generation from Petri nets
    Liao, Weizhi
    Li, Wenjing
    2013 12TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING & SCIENCE (DCABES), 2013, : 34 - 39
12345