Deadlock analysis and control based on Petri nets: A siphon approach review - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Advances in Mechanical Engineering Année : 2017

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

Yifan Hou
  • Fonction : Auteur
Kamel Barkaoui

Résumé

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
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
72 Consultations
485 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More