Skip to Main content Skip to Navigation
Journal articles

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

Yifan Hou 1 Kamel Barkaoui 2
2 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [330 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02476563
Contributor : Kamel Barkaoui <>
Submitted on : Monday, April 6, 2020 - 1:30:21 PM
Last modification on : Wednesday, April 8, 2020 - 1:59:32 PM

File

1687814017693542.pdf
Publisher files allowed on an open archive

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

Citation

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

Share

Metrics

Record views

84

Files downloads

95