Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions

Qin, Meng; Li, Zhiwu; Zhou, MengChu; Khalgui, Mohamed; Mosbahi, Olfa

doi:10.1109/tsmca.2011.2169955

Cited by 24 publications

(29 citation statements)

References 53 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Furthermore, Huang and Pan (2011) proposed another issue for deadlock prevention to decrease the number of reachability condition equations of the theory of regions in order to facilitate the computation of the supervisors. Their experimental results seem to be the most efficient method in the deadlock prevention policy compared with the works of Uzam and Zhou (2007), Uzam (2009), Park andReveliotis (2000) and Qin et al (2012).…”

Section: Introductionmentioning

confidence: 90%

Supervisory control based on minimal cuts and Petri net sub-controllers coordination

Rezig¹,

Achour²,

Rezg³

et al. 2015

International Journal of Systems Science

View full text Add to dashboard Cite

This paper addresses the synthesis of Petri net (PN) controller for the forbidden state transition problem with a new utilisation of the theory of regions. Moreover, as any method of control synthesis based on a reachability graph, the theory of regions suffers from the combinatorial explosion problem. The proposed work minimises the number of equations in the linear system of theory of regions and therefore one can reduce the computation time. In this paper, two different approaches are proposed to select minimal cuts in the reachability graph in order to synthesise a PN controller. Thanks to a switch from one cut to another, one can activate and deactivate the corresponding PNcontroller. An application is implemented in a flexible manufacturing system to illustrate the present method. Finally, comparison with previous works with experimental results in obtaining a maximally permissive controller is presented.

show abstract

Section: Introductionmentioning

confidence: 90%

Supervisory control based on minimal cuts and Petri net sub-controllers coordination

Rezig¹,

Achour²,

Rezg³

et al. 2015

International Journal of Systems Science

View full text Add to dashboard Cite

show abstract

“…Deadlock avoidance 4,11,12,15,48,53,54,56,57,73,106,107,109,[122][123][124][125][126][127][128][129][130][131][132][133][134][135][136]319 is a resources allocation mechanism, behind which an online control policy is used to make a correct decision to proceed among the feasible evolutions. Deadlock prevention 6,49,71,72,75,77,82,91,[95][96][97][98]103,111,[137][138][139][140][141][142][143][144]…”

Section: Introductionmentioning

confidence: 99%

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

Hou

Barkaoui

2017

Advances in Mechanical Engineering

View full text Add to dashboard Cite

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.

show abstract

“…Our previous research proposes a method to evaluate the applicability of deadlock prevention policies when there exist uncontrollable and unobservable transitions in a Petri net plant . It is a general method to decide whether the existing policies are applicable when uncontrollable and unobservable transitions exist.…”

Section: Introductionmentioning

confidence: 99%

“…We develop a method to design liveness‐enforcing supervisors for a subclass of Petri nets (LS 3 PR) with uncontrollable and unobservable transitions in . However, LS 3 PR cannot be used to model a system with multi‐branches from an operation place.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Elementary‐Siphon‐Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions

Qin¹,

Li²,

Al-Ahmari³

2014

Asian Journal of Control

Self Cite

View full text Add to dashboard Cite

Elementary siphons have been extensively studied to solve deadlock problems in Petri nets. However, most of the existing approaches based on elementary siphons can deal with the Petri nets in which all the transitions are supposed to be controllable and observable. This paper develops an elementary-siphon-based deadlock control policy for flexible manufacturing systems with uncontrollable and unobservable transitions. For elementary siphons, their complementary sets are successively expanded by considering unobservability and uncontrollability of transitions. Monitors are designed for the expanded complementary sets. The proposed method permits that there are arcs from monitors to a set of special uncontrollable transitions. Moreover, we show that the dependent siphons are always marked in the controlled system that is derived from the proposed method when there exist uncontrollable and unobservable transitions.

show abstract

Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions

Cited by 24 publications

References 53 publications

Supervisory control based on minimal cuts and Petri net sub-controllers coordination

Supervisory control based on minimal cuts and Petri net sub-controllers coordination

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

Elementary‐Siphon‐Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions

Contact Info

Product

Resources

About