Deadlock-free genetic scheduling for flexible manufacturing systems using Petri nets and deadlock controllers

References

• Abdallah, I. B., and H. A. Elmaraghy. 1998. “Deadlock Prevention and Avoidance in FMS: A Petri Net Based Approach.” International Journal of Advanced Manufacturing Technology 14 (10): 704–715.
   Web of Science ®Google Scholar
• Abdallah, I. B., H. A. Elmaraghy, and T. Elmekkawy. 2002. “Deadlock-free Scheduling in Flexible Manufacturing Systems Using Petri Nets.” International Journal of Production Research 40 (12): 2733–2756.
   Web of Science ®Google Scholar
• Chan, F. T. S., T. C. Wong, and L. Y. Chan. 2006. “Flexible Job-Shop Scheduling Problem under Resource Constraints.” International Journal of Production Research 44 (11): 2071–2089.
   Web of Science ®Google Scholar
• Chu, F., and X. L. Xie. 1997. “Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming.” IEEE Transactions on Robotics and Automation 13 (6): 793–804.
   Google Scholar
• Ezpeleta, J., J. M. Colom, and J. Martinez. 1995. “A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems.” IEEE Transactions on Robotics and Automation 11 (2): 173–184.
   Google Scholar
• Fanti, M. P., and M. C. Zhou. 2004. “Deadlock Control Methods in Automated Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part a: Systems and Humans 34 (1): 5–22.
   Web of Science ®Google Scholar
• Fanti, M. P., G. Maione, and B. Turchiano. 2001. “Distributed Event-control for Deadlock Avoidance in Automated Manufacturing Systems.” International Journal of Production Research 39 (9): 1993–2021.
   Web of Science ®Google Scholar
• Gen, M., and R. W. Cheng. 1997. Genetic Algorithms and Engineering Design. New York: Wiley.
   Google Scholar
• Goldberg, D. E. 1989. Genetic Algorithm in Search, Optimization and Machine Learning. Reading, MA: Addison-Wesley.
   Google Scholar
• Golmakani, H. R., J. K. Mills, and B. Benhabib. 2006. “Deadlock-free Scheduling and Control of Flexible Manufacturing Cells Using Automata Theory.” IEEE Transactions on Systems, Man, and Cybernetics, Part a: Systems and Humans 36 (2): 327–337.
   Web of Science ®Google Scholar
• Huang, Y. S., M. Jeng, X. L. Xie, and S. L. Chung. 2001. “Deadlock Prevention Policy Based on Petri Nets and Siphons.” International Journal of Production Research 39 (2): 283–305.
   Web of Science ®Google Scholar
• Jeng, M. D., and S. C. Chen. 1998. “A Heuristic Search Approach Using Approximate Solutions to Petri Net State Equations for Scheduling Flexible Manufacturing Systems.” International Journal of Flexible Manufacturing Systems 10 (2): 139–162.
   Google Scholar
• Lawley, M. A. 2002. “Control of Deadlock and Blocking for Production Systems with Unreliable Workstations.” International Journal of Production Research 40 (17): 4563–4582.
   Web of Science ®Google Scholar
• Lee, D. Y., and F. DiCesare. 1994. “Scheduling Flexible Manufacturing Systems Using Petri Nets and Heuristic Search.” IEEE Transactions on Robotics and Automation 10 (2): 123–132.
   Google Scholar
• Lee, K. M., T. Yamakawa, and K. M. Lee. 1998. “A Genetic Algorithm for General Machine Scheduling Problems.” In Second International Conference on Knowledge-Based Intelligent Electronic Systems, 60–66. Adelaide, Australia, April 21–23.
   Google Scholar
• Li, Z. W., and M. C. Zhou. 2004. “Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part a: Systems and Humans 34 (1): 38–51.
   Web of Science ®Google Scholar
• Liu, H. X., K. Y. Xing, M. C. Zhou, L. B. Han, and F. Wang Forthcoming. “Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics: Systems. doi:10.1109/TSMC.2013.2238923.
   Web of Science ®Google Scholar
• Murata, T. 1989. “Petri Nets: Properties, Analysis and Applications.” Proceedings of the IEEE 77 (4): 541–580.
   Web of Science ®Google Scholar
• Pinedo, M. L. 2008. Scheduling: Theory, Algorithms, and Systems. 3rd ed. New York: Spring.
   Google Scholar
• Piroddi, L., R. Cordone, and I. Fumagalli. 2008. “Selective Siphon Control for Deadlock Prevention in Petri Nets.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 38 (6): 1337–1348.
   Web of Science ®Google Scholar
• Ramaswamy, S. E., and S. B. Joshi. 1996. “Deadlock-free Schedules for Automated Manufacturing Workstations.” IEEE Transactions on Robotics and Automation 12 (3): 391–400.
   Google Scholar
• Reveliotis, S. A., and P. M. Ferreira. 1996. “Deadlock Avoidance Policies for Automated Manufacturing Cells.” IEEE Transactions on Robotics and Automation 12 (6): 845–857.
   Google Scholar
• Tuncel, G., and G. M. Bayhan. 2007. “Applications of Petri Nets in Production Scheduling: A Review.” International Journal of Advanced Manufacturing Technology 34 (7): 762–773.
   Web of Science ®Google Scholar
• Uzam, M., and M. C. Zhou. 2006. “An Improved Iterative Synthesis Method for Liveness Enforcing Supervisors of Flexible Manufacturing Systems.” International Journal of Production Research 44 (10): 1987–2030.
   Web of Science ®Google Scholar
• Wu, N. Q., and M. C. Zhou. 2007. “Real-time Deadlock-free Scheduling for Semiconductor Track Systems Based on Colored Timed Petri Nets.” OR Spectrum 29 (3): 421–443.
   Web of Science ®Google Scholar
• Xing, K. Y., B. S. Hu, and H. X. Chen. 1996. “Deadlock Avoidance Policy for Petri-net Modeling of Flexible Manufacturing Systems with Shared Resources.” IEEE Transactions on Automatic Control 41 (2): 289–295.
   Web of Science ®Google Scholar
• Xing, K. Y., M. C. Zhou, H. X. Liu, and F. Tian. 2009. “Optimal Petri-net-based Polynomial-complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetic, Part a: Systems and Humans 39 (1): 188–199.
   Web of Science ®Google Scholar
• Xing, K. Y., M. C. Zhou, F. Wang, H. X. Liu, and F. Tian. 2011. “Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part a: Systems and Humans 41 (1): 74–84.
   Web of Science ®Google Scholar
• Xing, K. Y., L. B. Han, M. C. Zhou, and, F. Wang. 2012. “Deadlock-free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy.” IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics 42 (3): 603–615.
   PubMed Web of Science ®Google Scholar
• Xiong, H. H., and M. C. Zhou. 1998. “Scheduling of Semiconductor Test Facility via Petri Nets and Hybrid Heuristic Search.” IEEE Transactions on Semiconductor Manufacturing 11 (3): 384–393.
   Web of Science ®Google Scholar
• Xu, G., and Z. M. Wu. 2004. “Deadlock-free Scheduling Strategy for Automated Production Cell.” IEEE Transactions on Systems, Man, and Cybernetics, Part a: Systems and Humans 34 (1): 113–122.
   Web of Science ®Google Scholar
• Yu, H., A. Reyes, S. Cang, and, S. Lloyd. 2003. “Combined Petri Net Modeling and AI Based Heuristic Hybrid Search for Flexible Manufacturing Systems-part 1. Petri Net Modeling and Heuristic Search.” Computers & Industrial Engineering 44 (4): 527–543.
   Web of Science ®Google Scholar