Scheduling flexible manufacturing systems using Petri nets and heuristic search

Petri net modeling combined with heuristic search provides a new scheduling method for flexible manufacturing systems. The method formulates a scheduling problem with a Petri net model. Then, it generates and searches a partial reachability graph to find an optimal or near optimal feasible schedule in terms of the firing sequence of the transitions of the Petri net model. The method can handle features such as routing flexibility, shared resources, lot sizes and concurrency. By following the generated schedule, potential deadlocks in the Petri net model and the system can be avoided. Hence the analytical overhead to guarantee the liveness of the model and the system is eliminated. Some heuristic functions for efficient search are explored and the experimental results are presented. >

[1]  Pitu B. Mirchandani,et al.  Concurrent resource allocation for production scheduling , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[2]  Krishna R. Pattipati,et al.  Schedule generation and reconfiguration for parallel machines , 1990, IEEE Trans. Robotics Autom..

[3]  Ellis Horowitz,et al.  Fundamentals of Computer Algorithms , 1978 .

[4]  P. Mellor,et al.  A Review of Job Shop Scheduling , 1966 .

[5]  A. S. Spachis,et al.  Job-shop scheduling heuristics with local neighbourhood search , 1979 .

[6]  C. L. Philip Chen.  Time lower bound for manufacturing aggregate scheduling problems , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[7]  Frank DiCesare,et al.  Experimental study of a heuristic function for FMS scheduling , 1992 .

[8]  B. Bavarian,et al.  Job scheduling on parallel machines using simulated annealing , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[9]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

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

[11]  Peter Brucker.  Scheduling problems in connection with flexible production systems , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[12]  William L. Maxwell,et al.  Theory of scheduling , 1967 .

[13]  Frank DiCesare,et al.  FMS scheduling using Petri nets and heuristic search , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[14]  Yu Zhang.  Solution to job-shop scheduling of FMS by neural networks , 1991 .

[15]  Alan S. Manne,et al.  On the Job-Shop Scheduling Problem , 1960 .

[16]  M.G. Singh,et al.  Optimized routing in flexible manufacturing systems with blocking , 1991, IEEE Trans. Syst. Man Cybern..

[17]  Li-Chen Fu,et al.  Planning and scheduling in a flexible manufacturing system using a dynamic routing method for automated guided vehicles , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[18]  K. Preston White,et al.  A recent survey of production scheduling , 1988, IEEE Trans. Syst. Man Cybern..

[19]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[20]  Philippe Chrétienne,et al.  Timed Petri net schedules , 1987, European Workshop on Applications and Theory of Petri Nets.

[21]  Peter B. Luh,et al.  A job completion time estimation method for work center scheduling , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[22]  Krishna R. Pattipati,et al.  A Lagrangian relaxation approach to job shop scheduling problems , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[23]  Emanuel Falkenauer,et al.  A genetic algorithm for job shop , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[24]  S. Gershwin,et al.  A control perspective on recent trends in manufacturing systems , 1986, IEEE Control Systems Magazine.

[25]  Takashi Sekiguchi,et al.  A timed Petri net and beam search based online FMS scheduling system with routing flexibility , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[26]  Peter B. Luh,et al.  Distributed scheduling of job shops , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[27]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[28]  Krishna R. Pattipati,et al.  Resource allocation and performance evaluation in large human-machine organizations , 1991, IEEE Trans. Syst. Man Cybern..

[29]  Kenji Onaga,et al.  On periodic schedules for deterministically timed Petri net systems , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[30]  Richard C. Larson,et al.  Urban Operations Research , 1981 .

[31]  Jean-Marie Proth,et al.  Performance evaluation of job-shop systems using timed event-graphs , 1989 .

[32]  Edwin Hou,et al.  Task scheduling for flexible manufacturing systems based on genetic algorithms , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[33]  K. Preston White,et al.  Algebraic, mathematical programming, and network models of the deterministic job-shop scheduling problem , 1991, IEEE Trans. Syst. Man Cybern..

[34]  E. H. Bowman.  THE SCHEDULE-SEQUENCING PROBLEM* , 1959 .

[35]  Joseph Sifakis.  Performance Evaluation of Systems Using Nets , 1979, Advanced Course: Net Theory and Applications.

[36]  Manuel Silva Suárez,et al.  Petri nets and flexible manufacturing , 1988, European Workshop on Applications and Theory in Petri Nets.

[37]  Doo Yong Lee.  Scheduling of flexible manufacturing systems employing automated guided vehicles , 1993 .

[38]  A. J. Clewett,et al.  Introduction to sequencing and scheduling , 1974 .

[39]  M. Aicardi,et al.  Analysis of deterministic discrete event systems via minimax algebra , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[40]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[41]  Stéphane Lafortune,et al.  Optimal Control of a Class of Discrete Event Systems , 1991 .

[42]  Frank DiCesare,et al.  Integrated models for scheduling flexible manufacturing systems , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[43]  S. Ahmad,et al.  Robot control computation in microprocessor systems with multiple arithmetic processors using a modified DF/IHS scheduling algorithm , 1989, IEEE Trans. Syst. Man Cybern..