儘管現代化工廠變得比以前更加多樣且複雜，但化工廠的操作程序在大多數情況下仍然是人工生成的。這種過時的方法顯然費力、耗時且容易出錯。為了確保操作的效率、安全性及人力成本，需要開發一種可行的方法來系統地生成標準操作步驟(SOP)，可以在實際化工廠中執行各種任務，本研究將利用UPPAAL自動機軟體，運用專業知識設計操作規範，經自動機網路同步運行後產生操作步驟，並借助商業動態模擬軟件模擬，因此可以在不產生大量成本的情況下研究每個操作步驟對程序的影響。
本研究利用時間自動機模型搜索甲苯加氫脫烷一塔、二塔與三塔程序之開俥步驟。具體的工作有(1)建構自動機網路，包括一般元件的非時間自動機模型與程序單元的時間自動機模型；(2)劃分操作階段並產生各階段路徑圖；(3)將路徑圖整合成順序功能圖(SFC)；(4)利用ASPEN Plus Dynamics進行模擬驗證操作步驟的可行性，並評估各操作步驟的優劣，找出較佳的開俥步驟。

Although modern plants have become more diverse and complex than before, the operating procedures of chemical plants are still generated manually. This time-consuming and labor-intensive approach is obviously error-prone. In order to ensure the efficiency, safety and cost optimal of the corresponding operation, it is necessary to develop a feasible method to systematically and automatically generate standard operating procedures (SOPs) that can perform various tasks in actual chemical plants. In this work, the operation steps synthesized by running synchronously all items in a automaton network, and simulating the resulting responses with the help of commercial dynamic simulation software to assess the impacts of each operation step.
In this study, the timed automata were used to aid the search for the startup procedures of the toluene hydrodealkylation plants. The specific work includes (1) constructing an automaton network, which includes untimed automata representing the common components and timed automata characterizing the process units; (2) dividing the startup operation into stages and generating a path diagram for each stage; (3) integrating the path diagrams to form the sequential function diagram (SFC); (4) Using ASPEN Plus Dynamics to simulate and verify the feasibility of the operation steps, evaluating the pros and cons of each operating procedure, and identifying the best candidate.

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.

Lakshmanan, R., & Stephanopoulos, G. (1988a). Synthesis of operating procedures for complete chemical plants—I. Hierarchical, structured modelling for nonlinear planning. Computers & Chemical Engineering, 12(9-10), 985-1002.

Lakshmanan, R., & Stephanopoulos, G. (1988b). Synthesis of operating procedures for complete chemical plants—II. A nonlinear planning methodology. Computers & Chemical Engineering, 12(9-10), 1003-1021.

Lakshmanan, R., & Stephanopoulos, G. (1990). Synthesis of operating procedures for complete chemical plants—III. Planning in the presence of qualitative, mixing constraints. Computers & Chemical Engineering, 14(3), 301-317.

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.

Liu, Y. Y. (2021).Generation of Plant Startup Procedures with Heuristic Rules. (Master’s thesis). National Cheng Kung University, Tainan, Taiwan.

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