Skip to main content
Erschienen in: Journal of Intelligent Manufacturing 5/2018

20.10.2015

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

verfasst von: Libin Han, Keyi Xing, Xiao Chen, Fuli Xiong

Erschienen in: Journal of Intelligent Manufacturing | Ausgabe 5/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat Bean, J. C. (1994). Genetic algorithms and random keys for sequencing and optimization. ORSA Journal on Computing, 6(2), 154–160.CrossRef Bean, J. C. (1994). Genetic algorithms and random keys for sequencing and optimization. ORSA Journal on Computing, 6(2), 154–160.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat Kennedy, J., & Eberhart, R. (1995). Particle swarm optimization. In IEEE international conference on neural networks (pp. 1942–1948). Perth: IEEE. Kennedy, J., & Eberhart, R. (1995). Particle swarm optimization. In IEEE international conference on neural networks (pp. 1942–1948). Perth: IEEE.
Zurück zum Zitat Kirkpatrick, S., Gelatt, C. D., & Vecchi, M. P. (1983). Optimization by simulated annealing. Science, 220(4598), 671–680.CrossRef Kirkpatrick, S., Gelatt, C. D., & Vecchi, M. P. (1983). Optimization by simulated annealing. Science, 220(4598), 671–680.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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. 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.
Zurück zum Zitat Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580.CrossRef Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580.CrossRef
Zurück zum Zitat Pinedo, M. L. (2008). Scheduling: Theory, algorithms, and systems (3rd ed.). New York: Springer. Pinedo, M. L. (2008). Scheduling: Theory, algorithms, and systems (3rd ed.). New York: Springer.
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat Ramaswamy, S. E., & Joshi, S. B. (1996). Deadlock-free schedules for automated manufacturing workstations. IEEE Transactions on Robotics and Automation, 12(3), 391–400.CrossRef Ramaswamy, S. E., & Joshi, S. B. (1996). Deadlock-free schedules for automated manufacturing workstations. IEEE Transactions on Robotics and Automation, 12(3), 391–400.CrossRef
Zurück zum Zitat Sha, D. Y., & Hsu, C. Y. (2006). A hybrid particle swarm optimization for job shop scheduling problem. Computers & Industrial Engineering, 51(4), 791–808.CrossRef Sha, D. Y., & Hsu, C. Y. (2006). A hybrid particle swarm optimization for job shop scheduling problem. Computers & Industrial Engineering, 51(4), 791–808.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat Tuncel, G., & Bayhan, G. (2007). Applications of Petri nets in production scheduling: A review. International Journal of Advanced Manufacturing Technology, 34(7), 762–773.CrossRef Tuncel, G., & Bayhan, G. (2007). Applications of Petri nets in production scheduling: A review. International Journal of Advanced Manufacturing Technology, 34(7), 762–773.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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. (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.
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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. 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.
Zurück zum Zitat 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.CrossRef 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.CrossRef
Metadaten
Titel
A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systems
verfasst von
Libin Han
Keyi Xing
Xiao Chen
Fuli Xiong
Publikationsdatum
20.10.2015
Verlag
Springer US
Erschienen in
Journal of Intelligent Manufacturing / Ausgabe 5/2018
Print ISSN: 0956-5515
Elektronische ISSN: 1572-8145
DOI
https://doi.org/10.1007/s10845-015-1161-2

Weitere Artikel der Ausgabe 5/2018

Journal of Intelligent Manufacturing 5/2018 Zur Ausgabe

    Marktübersichten

    Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen.