Scheduling and control of batch chemical processes with timed Petri nets

A formal approach is proposed for optimal scheduling and control problems in a batch chemical system. First, a method is presented to model it as a P-timed Petri net (PN), which can graphically describe how it may operate according to recipes, and which valve and pipeline are required by each operation. Second, this P-timed PN model is simplified according to the conflicts caused by the shared valves, and, in turn, it is utilized to define a linear programming where the optimal objective is the minimal processing time. Further, the A* algorithm is used to solve this programming to obtain an optimal strategy. Finally, via the P-timed PN model, a method is obtained to compute a control matrix for valves that can guarantee the optimal strategy. A typical batch system is used to illustrate the theoretic results.

[1]  Kurt Lautenbach,et al.  Timestamp nets in technical applications , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[2]  Bengt Lennartson,et al.  Specification of a batch plant using process algebra and Petri nets , 2005, IEEE International Conference on Automation Science and Engineering, 2005..

[3]  Dominique Bonvin.  Control and optimization of batch processes , 2006, IEEE Control Systems.

[4]  Cheng Li,et al.  Scheduling FMS problems with heuristic search function and transition-timed Petri nets , 2015, J. Intell. Manuf..

[5]  Nicholas G. Odrey,et al.  An approach using petri nets and improved heuristic search for manufacturing system scheduling , 2005 .

[6]  MengChu Zhou,et al.  Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search , 1998 .

[7]  L. Li,et al.  Adaptive Dispatching Rule for Semiconductor Wafer Fabrication Facility , 2013, IEEE Transactions on Automation Science and Engineering.

[8]  Hui Shao,et al.  Maximally permissive supervisor synthesis based on a new constraint transformation method , 2012, Autom..

[9]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[10]  Gonca Tuncel,et al.  Applications of Petri nets in production scheduling: a review , 2007 .

[11]  Yu Sun,et al.  Scheduling of flexible manufacturing systems based on Petri nets and hybrid heuristic search , 2008 .

[12]  A. Jalilvand,et al.  Scheduling of sequence-dependant jobs on parallel multiprocessor systems using a branch and bound-based Petri net , 2005, Proceedings of the IEEE Symposium on Emerging Technologies, 2005..

[13]  Bengt Lennartson,et al.  Hierarchical supervisory control for batch processes , 1999, IEEE Trans. Control. Syst. Technol..

[14]  Tianlong Gu,et al.  Timed petri-net based formulation and an algorithm for the optimal scheduling of batch plants , 2003 .

[15]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[16]  MengChu Zhou,et al.  Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[17]  Luigi Piroddi,et al.  Modeling and Control of Fluid Transportation Operations in Production Plants With Petri Nets , 2008, IEEE Transactions on Control Systems Technology.

[18]  Hongye Su,et al.  Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[19]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[20]  Zhao Po.  Sequential Controller Synthesis and Formal Models for Batch Chemical Processes , 2012 .