Deadlock analysis and control based on Petri nets: A siphon approach review - Archive ouverte HAL Access content directly
Journal Articles Advances in Mechanical Engineering Year : 2017

Deadlock analysis and control based on Petri nets: A siphon approach review

Yifan Hou
  • Function : Author
Kamel Barkaoui


Deadlocks should be eliminated in highly automated manufacturing systems since their occurrence implies the stoppage of the whole or partial system operation. Over the past decades, Petri nets are increasingly becoming one of the most popular and full-fledged mathematical tools to deal with deadlock problems due to their inherent characteristics. In a Petri net formalism, liveness is an important property of system safeness, which implies the absence of global and local deadlock situations in an automated manufacturing system. The liveness assessment can be performed by verifying the satisfiability of certain predicates on siphons, a well-known structural object in Petri nets. Therefore, siphons have received much attention to analyze and control systems modeled with Petri nets. Particularly, elementary siphon theory plays a key role in the development of structurally simple liveness-enforcing Petri net supervisors, leading to a variety of deadlock control approaches. This survey studies on the state-of-the-art elementary siphon theory of Petri nets including refined concepts of elementary siphons and their extended version, computation methods of siphons and elementary ones, controllability conditions, and their application to deadlock control. As a reference, this work attempts to provide a comprehensive and updated research survey on siphons, elementary siphons, and their applications to the deadlock resolution in Petri nets.
Fichier principal
Vignette du fichier
1687814017693542.pdf (887.84 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-02476563 , version 1 (06-04-2020)





Yifan Hou, Kamel Barkaoui. Deadlock analysis and control based on Petri nets: A siphon approach review. Advances in Mechanical Engineering, 2017, 9 (5), pp.168781401769354. ⟨10.1177/1687814017693542⟩. ⟨hal-02476563⟩
66 View
430 Download



Gmail Facebook X LinkedIn More