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 条

[31] Automatic synthesis of colored Petri nets for the control of FMS
Ezpeleta, J
Colom, JM
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (03): : 327 - 337
[32] Using parameterized timestamp Petri nets in automatic control
Simon, C
Lautenbach, K
Hanisch, HM
Thieme, J
MODELLING, ANALYSIS, AND DESIGN OF HYBRID SYSTEMS, 2002, 279 : 211 - 223
[33] Modelling safety of gantry crane operations using Petri nets
Singh, Karmveer
Raj, Navneet
Sahu, S. K.
Behera, R. K.
Sarkar, Sobhan
Maiti, J.
INTERNATIONAL JOURNAL OF INJURY CONTROL AND SAFETY PROMOTION, 2017, 24 (01) : 32 - 43
[34] Generalised composition operations for high-level Petri nets
Best, Eike
Lavrov, Alexander
Fundamenta Informaticae, 1999, 40 (2-3): : 125 - 163
[35] Synthesis of Petri Nets with Whole-Place Operations and Localities
Kleijn, Jetty
Koutny, Maciej
Pietkiewicz-Koutny, Marta
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 103 - 120
[36] Net operations (II) - the iterated addition operation of Petri nets
Jiang, Changjun
Journal of Computer Science and Technology, 1995, 10 (06): : 509 - 517
[37] Alignments Between Batch Traces and Process Models Based on Petri Nets
Tian Y.-H.
Du Y.-Y.
Han D.
Liu W.
Jisuanji Xuebao/Chinese Journal of Computers, 2018, 41 (03): : 611 - 627
[38] A Petri nets-based scheduling methodology for multipurpose batch plants
Riera, D
Narciso, M
Benqlilou, C
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2005, 81 (09): : 613 - 623
[39] Schedulability analysis of short-term schedule for crude oil operations using Petri nets
Wu, NaiQi
Chu, Feng
Chu, Chengbin
Zhou, MengChu
2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 693 - +
[40] Simulation of the continuous dynamics of batch control systems based on Petri nets
Barros, TC
Perkusich, A
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 680 - 685

← 1 2 3 4 5 →