研究生: |
王漪夆 Wang, Yi-Feng |
---|---|
論文名稱: |
派屈網模式在批次操作安全分析上的應用 Application of Petri-Net Models for Safety Analysis of Batch Operations |
指導教授: |
張玨庭
Chang, Chuei-Tin |
學位類別: |
博士 Doctor |
系所名稱: |
工學院 - 化學工程學系 Department of Chemical Engineering |
論文出版年: | 2004 |
畢業學年度: | 92 |
語文別: | 中文 |
論文頁數: | 155 |
中文關鍵詞: | 有向圖 、批次操作 、演繹推論演算法 、派屈網 、失誤樹 、操作步驟 、危害分析 、可到達樹 |
外文關鍵詞: | operating procedure, deductive reasoning algorithm, fault tree, reachability tree, digraph, hazard analysis, batch operation, Petri net |
相關次數: | 點閱:67 下載:2 |
分享至: |
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
本論文探討製程安全技術領域中兩個重要的議題:(1) 批次製程危害分析自動化與 (2) 批次操作步驟合成自動化。
危害分析是任何化工製程在設計或修改過程中一項必要的工作,早期以有向圖模式為基礎的連續製程危害分析自動化技術已相當成熟,但有向圖僅能表示固定結構程序系統中狀態變數與失誤事件間的定性因果關係,並無法描述批次製程中隨時間改變的狀態變數間動態因果關係。為了解決上述問題,本研究中乃改採派屈網來表示批次製程中失誤傳播機制。具體而言,在本文中提出了以物件為導向的階層式建模觀念來建構系統模式,我們可在系統模式內逐一引入所有可能的失誤源,並根據動態模擬結果找出足以引發某特定意外事件的所有原因。此外,為了提升分析效率,我們也發展了反向推論演算法,利用轉換規則將前向系統模式轉變成為後向系統模式作為推論之根據,並且提出兩個邏輯閘規則來將推論的結果以失誤樹完整地表達出來。最後我們以案例研究方式驗證此一批次製程危害分析推論策略的有效性與正確性。
在另一方面,由於物料輸送在任何批次製程裡都是最基本且必要的工作,而其操作步驟合成工作多以人工方式執行,為了確保操作安全無虞,我們在本研究中也發展出以派屈網為基礎之操作步驟合成方法。此一方法的基礎是一個描述管線網路中物料輸送的系統模式,但為了決定出閥、幫浦與壓縮機的實際操作動作,我們還須將表示兩個輔助控制規則的派屈網模組附加在系統模式中。在給定單一物料輸送工作排程的前提之下,我們可以利用此一模式發展出對應的具時間戳記的可到達樹,並且從樹中獲得該工作之所有可行的輸送路徑以及其相對應的操作步驟執行的順序與時間。最後我們也將此一合成方法進一步地延伸擴展到多項物料輸送工作的操作策略上。
Two important research issues in the development of process safety technologies have been addressed in this work, i.e., (1) automatic hazard analysis for batch processes and (2) automatic synthesis of batch operating procedures.
Hazard analysis is one of the basic tasks that must be performed in designing or revamping any chemical process. Although the computer-aided digraph-based assessment techniques have been matured considerably in recent years, they are mainly oriented toward the continuous processes. The digraph is in fact inherently unsuitable for describing the dynamic relationships among time, failures, equipment states, operating conditions, and process configurations in the batch operations. In order to overcome this problem, the Petri net is used in this work as a modeling tool. A step-by-step procedure is proposed in this thesis to construct a hierarchical model from the Petri-net modules representing the components in the given system. The causes of an undesirable event can be identified by carrying out a large number of exhaustive simulation runs using all possible combinations of failures and/or disturbances as inputs. In addition, a novel deductive reasoning algorithm has also been developed to further enhance the efficiency of hazard analysis. This algorithm is implemented on the basis of one or more backward Petri nets, which can be easily obtained from the system model by following a conversion rule. The detailed reasoning process is represented with a time-stamped fault tree, which is generated with two logic-gate rules developed in this work. The effectiveness and correctness of the proposed methods are demonstrated in case studies.
On the other hand, it must be noted that material transfer is a fundamental operation to be performed in any batch process. The task of synthesizing the required operation steps is traditionally carried out manually on an emph{ad hoc} basis. Due to the need to ensure operation safety, a systematic method has been developed in the present work to perform this task automatically on the basis of Petri-net models. A system model usually consists of component modules representing piping fragments, valves, pumps and/or compressors. To identify the
operation steps, two additional auxiliary control rules are also incorporated into this system Petri net. Given the time schedule of a specific material-transfer task, the time-stamped reachability tree of the above Petri-net model can be constructed to enumerate all feasible transport routes and the corresponding operating procedures. This approach has been further extended to solve the problems in devising operating strategies to achieve multiple material-transfer tasks according to an arbitrarily assigned Gantt chart.
Allen, D. J., and Rao, M. S. M., ``New Algorithms for the Synthesis and Analysis of Fault Trees,' Ind. Eng. Chem. Fundam., 19, 79 (1980)
Andrews, J. D., and Morgan, J. M., ``Application of Digraph Method of Fault Tree Construction to Process Plant,' Reliab. Eng., 14, 85 (1986)
Benson, R. S., ``Computer Aided Process Engineering: An Industrial Perspective,' Comput. Chem. Eng., 16, S1-S6 (1992)
Camarda, P., Corsi, F., and Trentadue, A., ``An Efficient Simple Algorithm for Fault Tree Automatic Synthesis from Reliability Graph,' IEEE Trans. Reliab., R-27, 215 (1987)
Chang, C. T., and Hwang, H. C., ``New Development of the Digraph-based Techniques for Fault-tree Synthesis,' Ind. Eng. Chem. Res., 31, 1490 (1992)
Chang, C. T., and Hwang, K. S., ``Studies on the Digraph-based Approach for Fault-Tree Synthesis: 1. The Ratio-control Systems,' Ind. Eng. Chem. Res., 33, 1520 (1994)
Chang, C. T., Hsu, D. S., and Hwang, D. M., ``Studies on the Digraph-based Approach for Fault-Tree Synthesis: 2. The Trip Systems,' Ind. Eng. Chem. Res., 33, 1700 (1994)
Crooks, C. A., and Macchietto, S., ``A Combined MILP and Logic-based Approach to the Synthesis of Operating Procedures for Batch Plants,' Chem. Engng. Communs., 114, 117 (1992)
David, R., and Alla, H., ``Petri Net for Modeling of Dynamic Systems - A Survey,' Automatica, 30:2, 175 (1994)
Drath, R., ``Hybrid Object Nets: An Object Oriented Concept for Modeling Complex Hybrid Systems,' Proc. 3rd Int. Conf. on Automation of Mixed Processes: Hybrid Dynamical Systems, Reims (1998)
Foulkes, N. R., Walton, M. J., Andow, P. K., and Galluzzo, M., ``Computer-aided Synthesis of Complex Pump and Valve Operations,' Comput. Chem. Eng., 12:9/10, 1035 (1988)
Fusillo, R. H., and Powers, G. J., ``A Synthesis Method for Chemical Palnt Operating Procedures,' Comput. Chem. Eng., 11, 369 (1987)
Fussell, J. B., Synthetic Fault Tree Model - A Formal Methodology for Fault Tree Construction, Report ANCR 1098, Aerojet Nuclear Company, Net. Reactor Testing Station, Idaho, USA (1973)
Guidelines for Process Equipment Reliability Data - With Data Tables, CCPS of AIChE, NY, USA (1989)
Guidelines for Hazard Evaluation Procedures, CCPS of AIChE, NY, USA (1992)
Hoshi, K., Nagasawa, K., Yamashita, Y., and Suzuki, M., ``Automatic Generation of Operating Procedures for Batch Production Plants by Using Graph Representations,' J. Chem. Eng. Jpn., 35:4, 377 (2002)
Hanlon, P. C., Compressor Handbook, McGraw-Hill, NY, USA (2000)
Karassik, I. J., Messina, J. P., Cooper, P., and Heald, C. C., Pump Handbook, 3rd ed., McGraw-Hill, NY, USA (2001)
Kelly, B. E., and Lees, F. P., ``The Propagation of Faults in Process Plants: 1. Modeling of Fault Propagation,' Reliab. Eng., 16, 3 (1986)
Kelly, B. E., and Lees, F. P., ``The Propagation of Faults in Process Plants: 2. Fault Tree Synthesis,' Reliab. Eng., 16, 39 (1986)
Kondili, E., Pantelides, C. C., and Sargent, R. W. H., ``A General Algorithm for Scheduling Batch Operations,' Proc Process Systems Engineering '88, Sydney, Australia (1988)
Kumamoto, H., and Henley, E. J., ``Safety and Reliability Synthesis of Systems with Control Loops,' AIChE J., 20, 376 (1979)
Lakshmanan, R., and Stephanopoulos, G., ``Synthesis of Operating Procedures for Complete Chemical Plants - I. Hierarchical, Structured Modelling for Nonlinear Planning,' Comput. Chem. Eng., 12:9/10, 985 (1988a)
Lakshmanan, R., and Stephanopoulos, G., ``Synthesis of Operating Procedures for Complete Chemical Plants - II. A Nonlinear Planning Methodology,' Comput. Chem. Eng., 12:9/10, 1003 (1988b)
Lakshmanan, R., and Stephanopoulos, G., ``Synthesis of Operating Procedures for Complete Chemical Plants - III. Planning in the Presence of Qualitative, Mixing Constraints,' Comput. Chem. Eng., 14:3, 301 (1990)
Lapp, S. A., and Powers, G. J., ``Computer-aided Synthesis of Fault-trees,' IEEE Trans. Reliab., R-26, 2 (1977)
Murata, T., ``Petri Nets: Properties, Analysis and Applications,' Proc. IEEE, 77:4, 541 (1989)
OSHA 29 CFR Part 1910; Process Safety Management of Highly Hazardous Chemicals; Explosives and Blasting Agents; Final Rule, OSHA, Washington, DC, USA. (1992)
O'Shima, E., ``Safety Supervision of Valve Operation,' J. Chem. Eng. Jpn., 11, 390 (1978)
Peterson, J. L., Petri Net Theory and the Modeling of Systems, Prentice-Hall: Englewood Cliffs, NJ, USA (1981)
Petri, C. A., Kommunikation mit Automaten, Ph.D. Thesis, University of Bonn, Bonn, Germany (1962)
Petri Net World, URL: http://www.daimi.au.dk/PetriNets
Ramchandani, C., Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Ph.D. Thesis, MIT, Cambridge, MA, USA. (1973)
Rosenberg, G., and Reisig, W., (Eds.), Advances in Petri Nets, Lecture notes in Comp. Sci., Springer, NY, USA. (1984-1993)
Shaeiwitz, J. A., Lapp, S. A., and Powers, G. J., ``Fault Tree Analysis of Sequential Systems,' Ind. Eng. Chem. Process Des. Dev., 16:4, 529 (1977)
Sifakis, J., ``Use of Petri Nets for Performance Evaluation,' Modelling and Evaluation Computing Systems, North-Holland, Amsterdam (1977)
Srinivasan, R., and Venkatasubramanian, V., ``Automating HAZOP Analysis of Batch Chemical Plants: Part I. The Knowledge Representation,' Comput. Chem. Eng., 22:9, 1345 (1998)
Srinivasan, R., and Venkatasubramanian, V., ``Automating HAZOP Analysis of Batch Chemical Plants: Part II. Algorithms and Application,' Comput. Chem. Eng., 22:9, 1357 (1998)
Uthgenannt, J. A., ``Path and Equipment Allocation for Multiple, Concurrent Processes on Networked Process Plant Units,' Comput. Chem. Eng., 20:9, 1081 (1996)
Vesely, W. E., Goldberg, F. F., Roberts, N. H., and Haasl, D. F., Fault Tree Handbook, Systems and Reliability Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, Washington, DC, USA. (1981)
Wang, J., Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, USA. (1998)
Wang, Y. F., Wu, J. Y., and Chang, C. T., ``Automatic Hazard Analysis of Batch Operations with Petri Nets,' Reliab. Eng. Syst. Saf., 76:1, 91 (2002)
Wang, Y. F., and Chang, C. T., ``A Hierarchical Approach to Construct Petri Nets for Modeling the Fault Propagation Mechanisms in Sequential Operations,' Comput. Chem. Eng., 27:2, 259 (2003)
Zurawski, R., and Zhou, M. C., ``Petri Nets and Industrial Applications: A Tutorial,' IEEE Trans. Ind. Electron., 41:6, 567 (1977)