Deadlock-Free Scheduling Strategy for Automated Production Cell

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 34, Issue 1, 2004, Pages 113-122

  Gang, Xu ^a   Wu, Zhiming ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

Deadlock free scheduling; GA; Manufacturing; Petri net

Indexed keywords

AUTOMATION; COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; COMPUTER WORKSTATIONS; GENETIC ALGORITHMS; MANUFACTURE; NETWORKS (CIRCUITS); PETRI NETS; RESOURCE ALLOCATION; ROBOTS;

DEADLOCK FREE SCHEDULING; FLEXIBLE MANUFACTURING SYSTEMS (FMS);

SCHEDULING;

EID: 0742290180     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2003.820573     Document Type: Article

References (21)

1. K. L. McMillan, Symbolic Model Checking. Boston, MA: Kluwer, 1993.
2. G. J. Holzmann, "The model checker SPIN," IEEE Trans. Software Eng., vol. 23, pp. 279-295, May 1997.
3. F. Cassez, C. Jard, B. Rozoy, and M. D. Ryan, "Modeling and verification of parallel processes," in UPPAAL-Now, Next and Future. New York: Springer, 2001, vol. 2067, LNCS, pp. 99-124.
4. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robotics Automat., vol. 6, pp. 713-723, Dec. 1990.
5. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robotics Automat., vol. 6, pp. 724-734, Dec. 1990.
6. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robotics Automat., vol. 11, pp. 173-184, Apr. 1995.
7. K. Barkaoui and B. Abdallah, "A deadlock prevention method for a class of FMS," in Proc. IEEE Int. Conf. Syst., Man, Cybern., vol. 5, 1995, pp. 4119-4124.
8. N. Wu and M.C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robotics Automat., vol. 17, pp. 658-669, Oct. 2001.
9. M. D. Jeng and S. C. Chen, "A heuristic search approach using approximate solutions to Petri net state equations for scheduling FMS," Int. J. FMS, vol. 10, pp. 139-162, 1998.
10. D. E. Goldberg, "Genetic algorithms in search," in Optimization and Machine Learning. Reading, MA: Addison-Wesley, 1989.
11. M. Gen, Y. Tsujimura, and E. Kubota, "Solving job-shop scheduling problems by genetic algorithm," in Proc. IEEE Int. Conf. Syst., Man, Cybern. (Humans, Inform., Technol.)., vol. 2, 1994, pp. 1577-1582.
12. H. H. Xiong and M.C. Zhou, "Deadlock-free scheduling of an automated manufacturing system based on Petri net," in Proc. IEEE Int. Conf. Robotics Automat., vol. 2, 1997, pp. 945-950.
13. Y. Song and J. G. Hughes, "A genetic algorithm with a machine order-based representation scheme for a class of job shop scheduling problem," in Proc. Amer. Contr. Conf., vol. 2, 1999, pp. 895-899.
14. Y-Y Chen, L.-C. Fu, and M.-W. Lin, "Petri net based modeling and GA based scheduling for a flexible manufacturing system," in Proc. 37th IEEE Conf. Decision Contr., 1998, pp. 4346-4347.
15. A. Reyes, H. Yu, and S. Lloyd, "An evolutionary hybrid scheduler based in Petri net structures for FMS scheduling," in Proc. IEEE Int. Conf. Syst., Man, Cybern., vol. 4, 2001, pp. 2516-2521.
16. J-H Chen, L-C. Fu, M-H Lin, and A-C. Huang, "Petri-net and GA-based approach to modeling, scheduling, and performance evaluation for wafer fabrication," IEEE Trans. Robotics Automat., vol. 17, pp. 619-636, Oct. 2001.
17. G. Xu and Z. Wu, "Deadlock-free scheduling method using Petri net model analysis and GA search," in Proc. Int. Conf. Contr. Applications, vol. 2, 2002, pp. 1153-1158.
18. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event System Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
19. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach, Singapore: World Scientific, 1998.
20. C. W. Zhao and Z. Wu, "A genetic algorithm approach for scheduling multi-routes FMS," Int. J. Flexible Manufact. Syst., vol. 13, no. 1, pp. 71-88, 2001.
21. B.I. Abdallah and A. Elmaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," Int. J. Adv. Manufact. Technol., vol. 14, no. 10, pp. 704-715, 1998.