A deadlock resolution strategy based on spiking neural P systems

  • Shanchen PangEmail author
  • Hongqi Chen
  • Hao Liu
  • Jiamin Yao
  • Min Wang
Original Research


Deadlock resolution is a classic problem faced by operating and database systems. It not only affects the utilization of system resources, but also may bring unpredictable consequences to the events corresponding to deadlock processes. Spiking neural P systems (SN P systems) are neural networks built upon membrane computing models inspired by neuron communication via excitatory and inhibitory spikes. We explore the application of SN P systems to the optimal revocation of deadlock processes in order to overcome deficiencies in traditional deadlock resolution methods such as exhaustive method and time cost method. Our system determines the optimal order of revocation by calculating the time cost associated with the deadlock release process. Compared to the exhaustive method and time cost method, our system significantly reduces the time complexity of the deadlock revocation process, improving deadlock resolution efficiency and offering more opportunities for parallelism.


Membrane computing Spiking neural P systems Deadlock Time complexity 



  1. Abdallah IB, E1Maraghy HA (1998) Deadlock prevention and avoidance in FMS: A Petri net based approach. Int J Adv Manuf Technol 14(10):704–715. Google Scholar
  2. Chatterjee M, Setua SK (2016) A semi-centralized algorithm using adaptive gossip to detect and resolve distributed deadlocks. In: International conference on advances in computing, communication, and automation (ICACCA) (Spring), IEEE, pp 1–8Google Scholar
  3. Dotoli M, Fanti MP (2007) Deadlock detection and avoidance strategies for automated storage andretrieval systems. IEEE Trans Syst Man Cybern C 37(4):541–552. Google Scholar
  4. Ezpeleta J, Recalde L (2004) A deadlock avoidance approach for non-sequential resource allocation systems. IEEE Trans Syst Man Cybern A 34(1):93–101. Google Scholar
  5. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Automat 11(2):173–184. Google Scholar
  6. Fanti MP, Zhou MC (2004) Deadlock control methods in automated manufacturing systems. IEEE Trans Syst Man Cybern A 34(1):5–22. Google Scholar
  7. Ghemawat S, Gobiff H, Leung S (2003) The google file system. In: Proceedings of the nineteenth ACM symposium on operating systems principles, ACM, pp 29–43Google Scholar
  8. Guo L, Zhang C (2018) Dual-process modeling and control method for new product collaborative design based on petri net. J Ambient Intell Human Comput. Google Scholar
  9. Hsieh FS (2004) Fault-tolerant deadlock avoidance algorithm for assembly processes. IEEE Trans Syst Man Cybern A, 34(1):65–79. Google Scholar
  10. Huang YS (2007) Design of deadlock prevention supervisors using Petri nets. Int J Adv Manuf Technol 35(3–4):349–362. Google Scholar
  11. Krishna SN, Rama R (2003) Breaking DES using P systems. Theor Comput Sci 299(1):495–508. MathSciNetzbMATHGoogle Scholar
  12. Kumaran TK, Chang W, Cho H, Wysk RA (1994) A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems. Int J Product Res, 32(10):2361–2379. zbMATHGoogle Scholar
  13. Leng JW, Zhang H, Yan DX, Liu Q, Chen X, Zhang D (2018) Digital twin-driven manufacturing cyber-physical system for parallel controlling of smart workshop. J Ambient Intell Human Comput. Google Scholar
  14. Li ZW, Zhao M (2008) On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans Syst Man Cybern A 38(2):369–384. Google Scholar
  15. Li ZW, Zhou MC (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern A 34(1):38–51. Google Scholar
  16. Li ZW, Uzam M, Zhou MC (2004) Comments on “Deadlock prevention policy based on Petri nets and siphons”. Int J Product Res 42(24):5253–5254. Google Scholar
  17. Lu W, Yang Y, Wang LQ, Xing WW, Che XP (2016) A leader election based deadlock detection algorithm in distributed systems. In: Proceedings of the 1st international workshop on specification, comprehension, testing, and debugging of concurrent programs, ACM, pp 12–19Google Scholar
  18. Pan LQ, Zhang XY, Zeng XX, Wang J (2008) Research advances and prospect of spiking neural P systems. Chin J Comput 31(12):2090–2096MathSciNetGoogle Scholar
  19. Păun G (2000) Computing with membranes. J Comput Syst Sci, 61(1): 108–143. MathSciNetzbMATHGoogle Scholar
  20. Piroddi L, Cordone R, Fumagalli I (2008) Selective siphon control for deadlock prevention in Petri nets. IEEE Trans Syst Man Cybern A 38(6):1337–1348. Google Scholar
  21. Pradel M, Huggler M, Gross TR (2014) Performance regression testing of concurrent classes. In: Proceedings of the 2014 international symposium on software testing and analysis, ACM, pp 13–25Google Scholar
  22. Reveliotis SA (2002) Liveness enforcing supervision for sequential resource allocation systems: state of the art and open issues. Synthesis and control of discrete event systems. Springer, Berlin, pp 203–212zbMATHGoogle Scholar
  23. Rigatos G, Siano P, Zervos N (2013) An approach to fault diagnosis of nonlinear systems using neural networks with invariance to Fourier transform. J Ambient Intell Human Comput 4(6):621–639. Google Scholar
  24. Shimomura T, Ikeda K (2014) Two types of deadlock detection cyclic and acyclic information. Intelligent systems for science and information. Springer, Berlin, pp 233–259Google Scholar
  25. Tomar P, Bhardwaj M (2015) A review on deadlock detection in distributed database. Advances in computer science and information technology. Springer, Berlin, pp 63–65Google Scholar
  26. Uzam M, Zhou MC (2004) Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems. In: Proceedings of the IEEE international conference on systems, man, and cybernetics, IEEE, pp 4260–4265Google Scholar
  27. Wu NQ, Zeng W (2002) Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model. Int J Product Res 40(1):223–238zbMATHGoogle Scholar
  28. Wu NQ, Zhou MC (2001) Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Trans Robot Automat, 17(5): 658–669. Google Scholar
  29. Wu NQ, Zhou MC (2005) Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Trans Syst Man Cybern B 35(6):1193–1202. Google Scholar
  30. Xing KY, Hu BS (2005) Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems. In: Proceedings of the IEEE international conference on systems, man and cybernetics, IEEE, pp 282–287Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  • Shanchen Pang
    • 1
    Email author
  • Hongqi Chen
    • 1
  • Hao Liu
    • 1
  • Jiamin Yao
    • 1
  • Min Wang
    • 1
  1. 1.College of Computer and Communication EngineeringChina University of PetroleumQingdaoChina

Personalised recommendations