Petri-Net Based Integer Programs for Synthesizing Optimal Batch Operation Procedures

• Main Authors: Jeng-Wen Lai, 賴鉦文
• Other Authors: Shyh-Hong Hwang
• Format: Others
• Language: zh-TW
• Published: 2006
• Online Access: http://ndltd.ncl.edu.tw/handle/44191237502381959310

碩士 === 國立成功大學 === 化學工程學系碩博士班 === 94 === 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.