Scheduling for a Large-Scale Production System Based on a Continuous and Timed Petri-Net Model

SUMMARY This paper presents a new hierarchical scheduling method for a large-scale manufacturing system based on the hybrid Petri-net model, which consists of CPN (Continuous Petri Net) and TPN (Timed Petri Net).The study focuses on an automobile production system, a typical large-scale manufacturing system.At a high level, CPN is used to represent continuous flow in the production process of an entire system, and LP (Linear Programming) is applied to find the optimal flow.At a low level, TPN is used to represent the manufacturing environment of each sub-production line in a decentralized manner, and the MCT algorithm is applied to find feasible semi-optimal process sequences for each sub-production line.Our proposed scheduling method can schedule macroscopically the flow of an entire system while considering microscopically any physical constraints

[1]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[2]  Alessandro Giua,et al.  First-order hybrid Petri nets: a model for optimization and control , 2000, IEEE Trans. Robotics Autom..

[3]  M. Caradec,et al.  Modelling of hybrid flexible production systems by Coloured Batches Petri Nets , 1998 .

[4]  Naiqi Wu,et al.  Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model , 1999, IEEE Trans. Syst. Man Cybern. Part C.

[5]  Fumiharu Fujiwara,et al.  Reactive FMS Scheduling with RTA * and Supervisor:An Approach Based on Integrated Petri Net Model , 2001 .

[6]  Frank DiCesare,et al.  Integrated scheduling of flexible manufacturing systems employing automated guided vehicles , 1994, IEEE Trans. Ind. Electron..

[7]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[8]  Shigeru Okuma,et al.  FMS scheduling based on timed Petri net model and RTA* algorithm , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[9]  D. Vibert,et al.  A modelling method to take into account fluctuations of continuous variables in a class of hybrid systems , 1997, 1997 European Control Conference (ECC).

[10]  Kishor S. Trivedi,et al.  FSPNs: Fluid Stochastic Petri Nets , 1993, Application and Theory of Petri Nets.

[11]  Alessandro Giua,et al.  Modelling hybrid systems by high-level Petri nets , 1998 .

[12]  Alan A. Desrochers,et al.  Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets , 1990, IEEE Trans. Robotics Autom..

[13]  Feng Chu,et al.  Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..

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

[15]  René David.  Modeling of hybrid systems using continuous and hybrid Petri nets , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.