Journal of Intelligent Manufacturing

, Volume 29, Issue 5, pp 1083–1096 | Cite as

A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systems

Article

Abstract

This paper proposes an effective hybrid particle swarm optimization (HPSO) algorithm to solve the deadlock-free scheduling problem of flexible manufacturing systems (FMSs) that are characterized with lot sizes, resource capacities, and routing flexibility. Based on the timed Petri net model of FMS, a random-key based solution representation is designed to encode the routing and sequencing information of a schedule into one particle. For the existence of deadlocks, most of the particles cannot be directly decoded to a feasible schedule. Therefore, a deadlock controller is applied in the decoding scheme to amend deadlock-prone schedules into feasible ones. Moreover, two improvement strategies, the particle normalization and the simulated annealing based local search, are designed and incorporated into particle swarm optimization algorithm to enhance the searching ability. The proposed HPSO is tested on a set of FMS examples, showing its superiority over existing algorithms in terms of both solution quality and robustness.

Keywords

Flexible manufacturing systems Deadlock Scheduling Timed Petri nets Particle swarm optimization  Simulated annealing 

Notes

Acknowledgments

This work was supported in part by the National Natural Science Foundation of China under Grants 61473216 and 61573278.

References

  1. Abdallah, I. B., Elmaraghy, H. A., & Elmekkawy, T. (2002). Deadlock-free scheduling in flexible manufacturing systems using Petri nets. International Journal of Production Research, 40(12), 2733–2756.CrossRefGoogle Scholar
  2. Baruwa, O. T., Piera, M. A., & Guasch, A. (2015). Deadlock-free scheduling method for flexible manufacturing systems based on timed colored Petri nets and anytime heuristic search. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 45(5), 831–846.CrossRefGoogle Scholar
  3. Bean, J. C. (1994). Genetic algorithms and random keys for sequencing and optimization. ORSA Journal on Computing, 6(2), 154–160.CrossRefGoogle Scholar
  4. Dashora, Y., Kumar, S., Tiwari, M. K., & Newman, S. T. (2007). Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach. International Journal of Flexible Manufacturing Systems, 19(4), 486–515.CrossRefGoogle Scholar
  5. Elmekkawy, T. Y., & Elmaraghy, H. A. (2003). Efficient search of Petri nets for deadlock-free scheduling in FMSs using heuristic functions. International Journal of Computer Integrated Manufacturing, 16(1), 14–24.CrossRefGoogle Scholar
  6. Ezpeleta, J., Colom, J. M., & Martinez, J. (1995). A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11(2), 173–184.CrossRefGoogle Scholar
  7. Fanti, M. P., & Zhou, M. C. (2004). Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 34(1), 5–22.CrossRefGoogle Scholar
  8. Golmakani, H. R., Mills, J. K., & Benhabib, B. (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.CrossRefGoogle Scholar
  9. Han, L. B., Xing, K. Y., Chen, X., Lei, H., & Wang, F. (2014). Deadlock-free genetic scheduling for flexible manufacturing systems using Petri nets and deadlock controllers. International Journal of Production Research, 52(5), 1557–1572.CrossRefGoogle Scholar
  10. Huang, Y. S., Jeng, M., Xie, X. L., & Chung, S. L. (2001). Deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research, 39(2), 283–305.CrossRefGoogle Scholar
  11. Kennedy, J., & Eberhart, R. (1995). Particle swarm optimization. In IEEE international conference on neural networks (pp. 1942–1948). Perth: IEEE.Google Scholar
  12. Kirkpatrick, S., Gelatt, C. D., & Vecchi, M. P. (1983). Optimization by simulated annealing. Science, 220(4598), 671–680.CrossRefGoogle Scholar
  13. Kis, T., Kiritsis, D., Xirouchakis, P., & Neuendorf, K. P. (2000). A Petri net model for integrated process and job shop production planning. Journal of Intelligent Manufacturing, 11(2), 191–207.CrossRefGoogle Scholar
  14. Lee, D. Y., & DiCesare, F. (1994). Scheduling flexible manufacturing systems using Petri nets and heuristic search. IEEE Transactions on Robotics and Automation, 10(2), 123–132.CrossRefGoogle Scholar
  15. Li, S., An, A., Wang, Y., Wang, G., Hou, C., & Cai, Y. (2013). Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. Journal of Intelligent Manufacturing, 24(6), 1157–1173.CrossRefGoogle Scholar
  16. Li, Z. W., & Zhou, M. C. (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.CrossRefGoogle Scholar
  17. Liao, C. J., Tseng, C. T., & Luarn, P. (2007). A discrete version of particle swarm optimization for flowshop scheduling problems. Computers & Operations Research, 34(10), 3099–3111.CrossRefGoogle Scholar
  18. Lin, T. L., Horng, S. J., Kao, T. W., Chen, Y. H., Run, R. S., Chen, R. J., et al. (2010). An efficient job-shop scheduling algorithm based on particle swarm optimization. Expert Systems with Applications, 37(3), 2629–2636.CrossRefGoogle Scholar
  19. Liu, H. X., Xing, K. Y., Zhou, M. C., Han, L. B., & Wang, F. (2014). Transition cover-based design of Petri net controllers for automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43(2), 196–208.CrossRefGoogle Scholar
  20. Luo, J. C., Xing, K. Y., Zhou, M. C., Li, X. L., & Wang, X. N. (2015). Deadlock-free scheduling of automated manufacturing systems using Petri nets and hybrid heuristic search. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 45(3), 530–541.CrossRefGoogle Scholar
  21. Mati, Y., Rezg, N., & Xie, X. L. (2001). A taboo search approach for deadlock-free scheduling of automated manufacturing systems. Journal of Intelligent Manufacturing, 12(5–6), 535–552.CrossRefGoogle Scholar
  22. Moslehi, G., & Mahnam, M. (2011). A Pareto approach to multi-objective flexible job-shop scheduling problem using particle swarm optimization and local search. International Journal of Production Economics, 129(1), 14–22.Google Scholar
  23. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580.CrossRefGoogle Scholar
  24. Pinedo, M. L. (2008). Scheduling: Theory, algorithms, and systems (3rd ed.). New York: Springer.Google Scholar
  25. Piroddi, L., Cordone, R., & Fumagalli, I. (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.CrossRefGoogle Scholar
  26. Ramaswamy, S. E., & Joshi, S. B. (1996). Deadlock-free schedules for automated manufacturing workstations. IEEE Transactions on Robotics and Automation, 12(3), 391–400.CrossRefGoogle Scholar
  27. Sha, D. Y., & Hsu, C. Y. (2006). A hybrid particle swarm optimization for job shop scheduling problem. Computers & Industrial Engineering, 51(4), 791–808.CrossRefGoogle Scholar
  28. Tasgetiren, M. F., Liang, Y. C., Sevkli, M., & Gencyilmaz, G. (2007). A particle swarm optimization algorithm for makespan and total flowtime minimization in the permutation flowshop sequencing problem. European Journal of Operational Research, 177(3), 1930–1947.CrossRefGoogle Scholar
  29. Tuncel, G., & Bayhan, G. (2007). Applications of Petri nets in production scheduling: A review. International Journal of Advanced Manufacturing Technology, 34(7), 762–773.CrossRefGoogle Scholar
  30. Uzam, M., & Zhou, M. C. (2006). An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research, 44(10), 1987–2030.CrossRefGoogle Scholar
  31. Wu, N. Q., & Zhou, M. C. (2007). Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets. OR Spectrum, 29(3), 421–443.CrossRefGoogle Scholar
  32. Xing, K. Y., Han, L. B., Zhou, M. C., & Wang, F. (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.CrossRefGoogle Scholar
  33. Xing, K. Y., Zhou, M. C., Liu, H. X., & Tian, F. (2009). Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 39(1), 188–199.CrossRefGoogle Scholar
  34. Xiong, H. H., & Zhou, M. C. (1998). Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search. IEEE Transactions on Semiconductor Manufacturing, 11(3), 384–393.CrossRefGoogle Scholar
  35. Xu, G., & Wu, Z. M. (2002). Deadlock-free scheduling method using Petri net model analysis and GA search. In IEEE international conference on control applications (pp. 1153–1158). Glasgow: IEEE.Google Scholar
  36. Xu, G., & Wu, Z. M. (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.CrossRefGoogle Scholar
  37. Yoon, H. J., & Lee, D. Y. (2004). Deadlock-free scheduling of photolithography equipment in semiconductor fabrication. IEEE Transactions on Semiconductor Manufacturing, 17(1), 42–54.Google Scholar
  38. Zhang, G., Shao, X., Li, P., & Gao, L. (2009). An effective hybrid particle swarm optimization algorithm for multi-objective flexible job-shop scheduling problem. Computers & Industrial Engineering, 56(4), 1309–1318.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2015

Authors and Affiliations

  1. 1.The State Key Laboratory for Manufacturing Systems Engineering, Systems Engineering InstituteXi’an Jiaotong UniversityXi’anPeople’s Republic of China

Personalised recommendations