隨著科技的進展，化學製程呈現多樣化及複雜化，程序設計自動化成為未來不可避免的趨勢，但目前化工廠開俥的標準操作步驟(SOP)仍然大多是人工方式制定出來的。因此，我們利用過往的開俥經驗，透過軟體模擬的幫助，可以了解每個操作步驟對於製程上的影響，同時也可以藉由模擬針對不同目的去改善這些操作步驟，並事先掌握開俥過程中可能會遇到的困難，做出正確的應對避免發生危險。
本研究根據經驗法則建立甲苯加氫脫烷化(HDA)程序開俥步驟。具體詳細的工作有：(1)將HDA整廠分割成單元系統；(2)將單元系統初始化後根據經驗法則建立單元系統操作步驟；(3)將單元系統操作步驟整理成順序功能圖(SFC)，利用Aspen Plus Dynamics○R進行動態模擬驗證，評估步驟的可行性，進行經濟分析，找出最佳操作步驟；(4)接著將單元跟單元之間的步驟銜接並做修正，以製造出新的操作步驟；(5)最後成功合成HDA整廠開俥步驟，將其整理成順序功能圖(SFC)再利用Aspen Plus Dynamics○R動態模擬驗證步驟的可行性。

關鍵字：甲苯加氫脫烷化程序、操作步驟、順序功能圖、動態模擬

As the modern chemical processes are becoming more diversified and complicated with the recent advances in science and technology, process design automation is now considered as an inevitable trend in the future. However, the standard operating procedure (SOP) of plant startup is still generated manually in current days. Previous single-unit operation experiences have adopted in this work to aid generation of the feasible startup procedure of the whole plant. Since it is possible to predict the impact of each operation step with the help of software simulation, these procedures can be improved accordingly so as to achieve the specific operational goal.
In this study, the hydrodealkylation (HDA) process is used as benchmark example for generating plant startup procedure with heuristic rules. The required synthesis tasks include: (1) Dividing the HDA plant into the unit systems; (2) Initializing each unit system and establishing its startup procedure according to the heuristic rules; (3) Summarizing every unit procedure with a sequential function chart (SFC). This SFCs should be verified with Aspen Plus Dynamics○R; (4) Connecting the operating procedures of consecutive units, making corrections if needed and creating the combined procedure; (5) Synthesizing a complete HDA plant startup procedure and SFC; (6) Verifying the plant startup procedure with Aspen Plus Dynamics○R.

Keywords: HDA process; Operating procedure; Sequential function chart; Dynamic simulation.

Aylett, R., Petley, G., Chung, P., Soutter, J., & Rushton, A. (1997). Planning and chemical plant operating procedure synthesis: a case study. European Conference on Planning, (pp. 39-51). Springer, Berlin, Heidelberg.

Chen, T. Y., & Chang, C. T. (2019). Design approach to synthesize, validate, and evaluate operating procedures based on untimed automata and dynamic simulation. Industrial & Engineering Chemistry Research, 58(19), 8172-8183.

de Araujo, A. C. B., Govatsmark, M., & Skogestad, S. (2007). Application of plantwide control to the HDA process. I-Steady-state optimization and self-optimizing control. Control Engineering Practice, 15(10), 1222-1237.

de Araujo, A. C. B., Hori, E. S., & Skogestad, S. (2007). Application of plantwide control to the HDA process. II-Regulatory control. Industrial & Engineering Chemistry Research, 46(15), 5159-5174.

Dimian, A. C., Bildea, C. S., Kiss, A. A. (2014). Chapter 21 - Case Studies. Computer Aided Chemical Engineering, 35, 789-830.

Fusillo, R. H., & Powers, G. J. (1987). A synthesis method for chemical plant operating procedures. Computers & Chemical Engineering, 11(4), 369-382.

Fusillo, R. H., & Powers, G. J. (1988). Operating procedure synthesis using local models and distributed goals. Computers & Chemical Engineering, 12(9-10), 1023-1034.

Ferrarini, L., Piroddi, L. (2003). Modular design and implementation of a logic control system for a batch process. Computers & Chemical Engineering, 27(7), 983-996.

Kim, J., & Moon, I. (2000). Synthesis of safe operating procedure for multi-purpose batch processes using SMV. Computers & Chemical Engineering, 24(2-7), 385-392.

Kim, J., & Moon, I. (2010). Model checking for automatic verification of control logics in chemical processes. Industrial & Engineering Chemistry Research, 50(2), 905-915.

Lai, J. W., Chou, H. H., & Chang, C. T. (2006). Petri‐net based integer programs for synthesizing optimal material‐transfer procedures in pipeline networks. Journal of the Chinese Institute of Engineers, 29(2), 337-346.

Lee, Y. H., Chang, C. T., Wong, D. S. H., & Jang, S. S. (2011). Petri-net based scheduling strategy for semiconductor manufacturing processes. Chemical Engineering Research and Design, 89(3), 291-300.

Li, J. H., Chang, C. T., & Jiang, D. (2014). Systematic generation of cyclic operating procedures based on timed automata. Chemical Engineering Research and Design, 92(1), 139-155.

O’Shima, E. (1978). Safety supervision of valve operation. Journal of Chemical Engineering of Japan, 11(5), 390-395.

Rivas, J. R., & Rude, D. F. (1974). Synthesis of failure-safe operation. AIChE Journal, 20(2), 320-325.
Uthgenannt, J. A. (1996). Path and equipment allocation for multiple, concurrent process on networked process plant units. Computers & Chemical Engineering, 20(9), 1081-1087.

Wang, Y. F., Chou, H. H., & Chang, C. T. (2005). Generation of batch operating procedures for multiple material-transfer tasks with petri nets. Computers & Chemical Engineering, 29(8), 1822-1836.

Yang, Y. H. A perti-net based optimization strategy for generating the batch operation procedures. Master. Thesis, Cheng Kung University, 2008.

Yeh, M. L., & Chang, C. T. (2012). An automata based method for online synthesis of emergency response procedures in batch processes. Computers & Chemical Engineering, 38, 151-170.

Yeh, C. Y. (2020). Case Studies of Generating Operating Procedures Based on Timed Automata. (Master’s thesis). National Cheng Kung University, Tainan, Taiwan.
Zhang, C. R., Yeh, C. Y., & Chang, C. T. (2020). Synthesis, Validation, and Evaluation of Operating Procedures Based on Timed Automata and Dynamic Simulation. Industrial & Engineering Chemistry Research, 59, 8769-8782.

陳錫仁(2018)。程序設計與Aspen Plus。化工，65(1)，79-90。