Skip to main content
SpringerLink
Log in

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

  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8

Similar content being viewed by others

References

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • Bean, J. C. (1994). Genetic algorithms and random keys for sequencing and optimization. ORSA Journal on Computing, 6(2), 154–160.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • Kennedy, J., & Eberhart, R. (1995). Particle swarm optimization. In IEEE international conference on neural networks (pp. 1942–1948). Perth: IEEE.

  • Kirkpatrick, S., Gelatt, C. D., & Vecchi, M. P. (1983). Optimization by simulated annealing. Science, 220(4598), 671–680.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

  • Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580.

    Article  Google Scholar 

  • Pinedo, M. L. (2008). Scheduling: Theory, algorithms, and systems (3rd ed.). New York: Springer.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • Ramaswamy, S. E., & Joshi, S. B. (1996). Deadlock-free schedules for automated manufacturing workstations. IEEE Transactions on Robotics and Automation, 12(3), 391–400.

    Article  Google Scholar 

  • Sha, D. Y., & Hsu, C. Y. (2006). A hybrid particle swarm optimization for job shop scheduling problem. Computers & Industrial Engineering, 51(4), 791–808.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • Tuncel, G., & Bayhan, G. (2007). Applications of Petri nets in production scheduling: A review. International Journal of Advanced Manufacturing Technology, 34(7), 762–773.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

  • 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.

    Article  Google Scholar 

  • 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.

  • 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.

    Article  Google Scholar 

Download references

Acknowledgments

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

Author information

Authors and Affiliations

  1. The State Key Laboratory for Manufacturing Systems Engineering, Systems Engineering Institute, Xi’an Jiaotong University, Xi’an, 710049, People’s Republic of China

    Libin Han, Keyi Xing, Xiao Chen & Fuli Xiong

Authors
  1. Libin Han
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Keyi Xing
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Xiao Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Fuli Xiong
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Keyi Xing.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Han, L., Xing, K., Chen, X. et al. A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systems. J Intell Manuf 29, 1083–1096 (2018). https://doi.org/10.1007/s10845-015-1161-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10845-015-1161-2

Keywords

Search

Navigation