中文摘要
　　在管線網路中的物料輸送工作是在幾乎所有批次工廠中都會存在的操作。傳統上批次操作步驟是以人工方式依過去經驗合成的，但這樣的作法不但缺乏效率，也很容易出錯。本論文嘗試根據派屈網來建構整數規劃模式，並據以產生出最佳物料輸送的操作步驟。具體來說，本研究的派屈網系統模式是由路徑模組、設備模組及程序模組所組成，我們可依派屈網中標記流動型態，建構出整數規劃模式(Integer Program, IP)中的邏輯限制式，另外為提升求解效率，在其中也加入額外整數限制式，而求解此模式即可得到最佳操作步驟中詳細的操作動作。在本研究中，依此方式得到的操作步驟可分為兩類：(1)以操作階段為基礎的操作步驟，及(2)以操作時間為基礎的操作步驟。本論文最後也以兩個實際的案例，來驗證此合成操作步驟方法的正確性。

ABSTRACT
　　Transferring process material from one unit to another via a pipeline network is a basic operation performed routinely in almost every batch chemical plant. Traditionally, the task of conjecturing the needed operation steps is carried out manually on an ad hoc basis. This approach is often time-consuming when applied to an industrial process and, furthermore, the resulting recipe may be error-prone. The aim of this paper is thus to develop a systematic strategy to generate the optimal operation procedures with Petri-net based integer programs. Specifically, the system net consists of three types of standard sub-nets, i.e., the path modules, the equipment modules and the process modules. The logic constraints in the corresponding integer program (IP) can be formulated to describe the patterns of token movements in the system net. Additional integer constraints have also been incorporated on the IP to enhance solution efficiency. The detailed operation steps in the optimal operating procedure can then be generated by solving this integer program. Two distinct classes of operation modes can be identified: (1) stage-based operating procedures, and (2) time-based operating procedures. Finally, several realistic examples are provided to demonstrate the effectiveness and correctness of the proposed approach.

參考文獻

Årzén, K.-E., and Johnsson, C., “Object-oriented SFC and ISA-S88.01 recipes,” ISA Transactions, Vol. 35, pp. 237-244, 1996.

Chou, H. H., and Chang, C. T., “Petri-net based strategy to synthesize the operating procedures for cleaning pipeline networks,” Industrial and Engineering Chemistry Research, Vol. 44, pp. 114-123, 2005.

David, R., and Alla, H., “Petri nets for modeling of dynamic system - a survey,” Automatica, Vol. 30, pp. 175-202, 1994.

Ferrarini, L., and Piroddi, L., “Modular design and implementation of a logic control system for a batch process,” Computers and Chemical Engineering, Vol. 27, pp. 983-996, 2003.

Foulkes, N. R., Walton, M. J., Andow, P. K., and Galluzzo, M., “Computer-aided synthesis of complex pump and valve operations,” Computers and Chemical Engineering, Vol. 12, pp. 1035-1044, 1998.

Gabbar, H. A., Aoyama, A., and Naka, Y., “Recipe formal definition language for operating Procedures synthesis,” Computers and Chemical Engineering, Vol. 28, pp. 1809-1822, 2004.

Gabbar, H. A., Aoyama, A., and Naka, Y., “Automated solution for control recipe generation of chemical batch plants,” Computers and Chemical Engineering, Vol. 29, pp. 949-946, 2005.

Gu, T., and Bahri, P. A., “A survey of Petri net applications in batch processes,” Computers in Industry, Vol. 47, pp. 99-111, 2002.

ISA, S88.01 Batch Control, Part 1: Models and Terminology, ISA, Research Triangle Park, NC, USA, 1995.

Karassik, I. J., and McGuire, J.T., Centrifugal Pumps, 2nd ed., Chapman & Hall: New York, USA, pp. 885-887, 1998.

Kim, J., and Moon, I., “Synthesis of safe operating procedure for multi-purpose batch processes using SMV,” Computers and Chemical Engineering, Vol. 24, pp. 385-392, 2000.

Lai, Y. H., Process Control of Brewery Plant by EVALPSN, MS Thesis, NTUST, Taipei, 2005.

Li, H. S., Lu, M. L., and Naka, Y., “A two-tier methodology for synthesis of operating procedures,” Computers and Chemical Engineering, Vol. 21, pp. s899-s903, 1997.

O’Shima, E., “Safety supervision of valve operation,” Journal of Chemical Engineering of Japan, Vol. 11, pp. 390-395, 1978.

Peterson, J. L., Petri Net Theory and the Modeling of Systems, Pentice-Hall, Englewood Cliffs, NJ, USA, 1981.

Raman, R., and Grossmann, I. E., “Relation Between MILP Modeling and Logical Inference for Chemical Process Synthesis,” Computers and Chemical Engineering, Vol. 15, pp. 73-84, 1991.

Rivas, J. R., and Rudd, D. F., “Synthesis of failure-safe operation,” AIchE Journal, Vol. 20, pp. 320-325, 1974.

Uthgenannt, J. A., “Path and equipment allocation for multiple, concurrent processes on networked process plant units,” Computers and Chemical Engineering, Vol. 20, pp. 1081-1087, 1996.

Wang, Y. F., and Chang, C. T., “Petri-net based deductive reasoning strategy for fault identification in batch processes,” Industrial and Engineering Chemistry Research, Vol. 43, pp. 2704-2720, 2004.

Wang, Y. F., Chou, H, H., and Chang, C. T., “Generation of batch operating procedures for multiple material-transfer tasks with Petri net,” Computers and Chemical Engineering, Vol. 29, pp. 1822-1836, 2005.