在管線網路中的物料輸送工作是在幾乎所有批次工廠中都會存在的操作。傳統上批次操作步驟是以人工方式依過去經驗合成的，但這樣的作法不但缺乏效率，也容易出錯。本研究根據Lai et al.(2007) 提出的初步構想，改善以派屈網為基礎的整數規劃模式(Integer Program, IP)，來自動找出最佳操作策略。具體而言，此模式包含了利用狀態方程式建構的路徑模組、設備模組、程序模組，及其他額外整數限制式，且其中變數與限制式數量較原始模式減少許多，因此可以顯著提昇求解效率。而在本論文中我們也以實際的案例，來展現此方法的優點。最後，我們也嘗試修改傳統排程模式來發展出考慮操作時間的操作步驟。

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. This work is based on the method of Petri-Net based integer program proposed by Lai et al.(2007) and improve the performance to a new level. Specifically, this approach includes the path modules, the equipment modules and the process modules which are described by the state equation. Other integer constraints are also incorporated to build this approach. In addition, the number of variables and constrains are less than original model, thus, the performance efficiency can be improved. There are several realistic examples are provided to demonstrate the strength and effectiveness of the proposed approach.
Finally, our research modify traditional schedule model to develop time-based mathematical programs.

Å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., “A 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., “Automated solution for control recipe generation of chemical batch plants,” Computers and Chemical Engineering, Vol. 29, pp. 949-964, 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.
Lai, J. W., Chang, C. T., and Hwang, S. H., “Petri-Net based binary integer programs for automatic synthesis of batch operating procedures,” Ind. Eng. Chem. Res, Vol.46, pp. 2797-2813, 2007.
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.
Takashi, I., Susumu, H., Tomoyuki, Y., and Katsuaki, O., “Integration between scheduling and design of batch systems based on petri net models,” IEICE TRANS.FUNDAMENTALS, Vol.E88-A, pp. 2989-2997, 2005
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., “A 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.