在化學製程設計的工作中，過去習慣依賴人為經驗來制定操作步驟，為了減少在制定過程中失誤之發生，同時顧及操作的效率、安全性與成本，本研究將利用UPPAAL自動機軟體為系統中的元件建造模型，運用專業知識與操作經驗設計控制規範，經自動機網路同步運行後產生操作步驟，並進行動態模擬。本研究透過以下三個案例展現此方法的應用過程，過去曾以非時間自動機模型合成批次反應器的操作步驟，但缺乏時間變數的利用，本研究遂改以時間自動機建模，以增加模型的彈性；也曾有合成單一蒸餾塔的開俥步驟，本研究以此案例為基礎，延伸出串聯蒸餾塔系統，以及改良反應蒸餾塔案例的開俥步驟。具體的工作有(1)建造完整的自動機網路，包括一般元件的非時間自動機模型、程序單元的時間自動機模型與控制規範自動機模型；(2)劃分操作階段並產生各階段的路徑圖；(3)將路徑圖整合成順序功能圖(SFC)形式；(4)利用ASPEN Plus Dynamics進行模擬驗證操作步驟的可行性，並進行經濟評估，找出具優勢之選擇。

In designing the chemical processes, the operating procedures have often been generated manually according to experiences. To reduce the manual errors in performing this task and, at the same time, take into account of operational efficiency, safety, and cost, a different approach is adopted in the present study. The system components and control specifications are first modelled with automata on the basis of engineering knowledge and operation experience. The operating procedures are generated by synchronizing of all automata mentioned above with the software UPPAAL and then validated in dynamic simulation studies using ASPEN PLUS DYNAMICS.
The proposed method is illustrated with three examples. In the past, the operating procedures for a batch reactor system have been synthesized based on untimed automata. In the present work, the timed automata are used to model the same process so as to enhance model flexibility. The operating procedures for the startup operations of a single distillation column have also been synthesized in the past. The present study has extended this work to two distillation columns connected in series, and improved the automata for modeling the reactive distillation system. The specific works presented in this theses include: (1) building a complete network of automata models, which include the untimed automata for the simple components, the timed automata model for the processing units and control specifications; (2) dividing operations procedures into several stages and generating the embedded traces of each stage; (3) summarizing all traces with a sequential function chart (SFC); (4) verifying the corresponding procedures with Aspen Plus Dynamics.

Aylett, R., Petley, G., Chung, P., Soutter, J., & Rushton, A. (1997). Planning and chemical plant operating procedure synthesis: a case study. In 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.

Ferrarini, L., Piroddi, L.(2003). Modular design and implementation of a logic control system for a batch process. Comput. Chem. Eng., vol. 27, 983-996

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

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.

Lakshmanan, R., & Stephanopoulos, G. (1988). 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. (1988). 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.

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.

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

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.

Zhang, C. R., Yeh, C. Y., & Chang, C. T. (2020). Synthesis, Validation, and Evaluation of Operating Procedures Based on Automata and Dynamic Simulation. Industrial & Engineering Chemistry Research, 59, 18, 8769–8782.