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 条
  • [41] Modelling of batch production systems using Petri nets with dynamic tokens
    López-Mellado, E
    Villanueva-Paredes, N
    Almeyda-Canepa, H
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2005, 67 (06) : 541 - 558
  • [42] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS
    MURATA, T
    PROCEEDINGS OF THE IEEE, 1989, 77 (04) : 541 - 580
  • [43] Symbolic analysis of bounded Petri nets
    Pastor, E
    Cortadella, J
    Roig, O
    IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (05) : 432 - 448
  • [44] Modular analysis of concurreney in Petri nets
    Vidrascu, Cristian
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2006, 1 : 486 - 491
  • [45] SAFETY ANALYSIS USING PETRI NETS
    LEVESON, NG
    STOLZY, JL
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (03) : 386 - 397
  • [46] Interval analysis of time Petri nets
    Lima, Evangivaldo A.
    Luders, Ricardo
    Kunzle, Luis Allan
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 51 - 58
  • [47] On the analysis of Petri nets with static priorities
    Bause, Falko
    Acta Informatica, 1996, 33 (05): : 669 - 685
  • [48] On the analysis of Petri nets with static priorities
    Bause, F.
    Acta Informatica, 33 (07):
  • [49] Analysis of Petri Nets and Transition Systems
    Best, Eike
    Schlachter, Uli
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (189): : 53 - 67
  • [50] Metabolic Pathway Analysis with Petri Nets
    Ding, Dewu
    He, Xiaoqing
    RIVISTA DI BIOLOGIA-BIOLOGY FORUM, 2009, 102 (03): : 309 - 312
12345