Deadlock-free scheduling method using Petri net model analysis and GA search

In this paper, an efficient algorithm for finding optimal deadlock-free schedules in a Flexible Manufacturing System (FMS) modeled by a kind of Petri net, Systems of Simple Sequential Processes with Shared Resources (S/sup 4/R) nets, is presented. This algorithm is based on an effective Genetic Algorithm (GA) search method, and the structural elements analysis of the Petri net. In order to find the optimum and deadlock-free scheduling strategy from the population generated by the GA, a Petri net structural analysis procedure is involved as a criterion to select among the populations and to make the job scheduling deadlock-free. The effectiveness and efficiency of the proposed approach is illustrated using an example.

[1]  MengChu Zhou,et al.  Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..

[3]  Erwin R. Boer,et al.  Generating basis siphons and traps of Petri nets using the sign incidence matrix , 1994 .

[4]  K. Barkaoui,et al.  A deadlock prevention method for a class of FMS , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

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

[6]  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.

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

[8]  Andrew Y. C. Nee,et al.  Using genetic algorithms in process planning for job shop machining , 1997, IEEE Trans. Evol. Comput..

[9]  Mitsuo Gen,et al.  Solving job-shop scheduling problems by genetic algorithm , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

[10]  H.A. ElMaraghy,et al.  A logic programming approach for finding minimal siphons in S/sup 3/PR nets applied to manufacturing systems , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[11]  Y. Song,et al.  A genetic algorithm with a machine order-based representation scheme for a class of job shop scheduling problem , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

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

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

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