Efficient search of Petri Nets for deadlock-free scheduling in FMSs using heuristic functions

This paper presents and evaluates the performance of three heuristic functions, based on Petri Nets (PN), which are used to optimize the average flow time in flexible manufacturing systems. The developed heuristic functions aim to reduce the complexity of the scheduling problem by searching only the necessary portion of the Petri Net reachability graph. In addition, each heuristic function is equipped with a parameter to provide a trade-off between the solution quality and the search effort. A major advantage of these heuristics is in the case of modification to deal with other measures of performance such as resources utilization and due date measures. An experimental study was performed using these heuristic functions on randomly generated test cases. A new routine for automatically generating PN models from a production plan is presented. The Average Operation Waiting Time (AOWT) heuristics function is found to outperform the other two functions, Remaining Processing Time (RPT) and Scheduling with Dispatching Rules (SDR), with respect to the obtained average flow time and the solution CPU time. In addition, the newly developed heuristics help in scheduling larger problems with high efficiency compared with the results reported in the literature.

[1]  Joaquín Ezpeleta,et al.  Automatic synthesis of colored Petri nets for the control of FMS , 1997, IEEE Trans. Robotics Autom..

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

[3]  Richard A. Wysk,et al.  Detection of deadlocks in flexible manufacturing cells , 1991, IEEE Trans. Robotics Autom..

[4]  Ian F. Akyildiz,et al.  Deadlock free buffer allocation in closed queueing networks , 1989, Queueing Syst. Theory Appl..

[5]  Sanjay B. Joshi,et al.  Deadlock-free schedules for automated manufacturing workstations , 1996, IEEE Trans. Robotics Autom..

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

[7]  MengChu Zhou,et al.  Petri net scheduling of FMS using branch and bound method , 1995, Proceedings of IECON '95 - 21st Annual Conference on IEEE Industrial Electronics.

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

[9]  Hyunbo Cho,et al.  A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems , 1994 .

[10]  Li-Chen Fu,et al.  An automatic Petri-net generator for modeling a flexible manufacturing system , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

[11]  Kamel Barkaoui,et al.  Deadlock avoidance in FMS based on structural theory of Petri nets , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[12]  L. Shen,et al.  Truncation of Petri net models for simplifying computation of optimum scheduling problems , 1992 .

[13]  C. R. Bector,et al.  A review of scheduling rules in flexible manufacturing systems , 1989 .

[14]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

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

[16]  MengChu Zhou,et al.  Deadlock-free scheduling of an automated manufacturing system based on Petri nets , 1997, Proceedings of International Conference on Robotics and Automation.

[17]  Hoda A. ElMaraghy,et al.  Deadlock prevention and avoidance in FMS: A Petri net based approach , 1998 .

[18]  MuDer Jeng,et al.  A Heuristic Search Approach Using Approximate Solutions to Petri Net State Equations for Scheduling Flexible Manufacturing Systems , 1998 .