Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets

Hou, Yifan; Li, Zhiwu; Zhao, Mi; Liu, Ding

doi:10.1080/0951192x.2013.800233

Cited by 29 publications

(32 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The controllability of improved dependent siphons obtained by Definition 27 can be ensured by properly supervising their elementary siphons in GLS 3 PR nets. PR are further studied in the work by Hou et al 222 by fully investigating the topological structure and arc weights. The improved elementary and dependent siphons are given subsequently.…”

Section: Augmented Elementary Siphons In Generalized Petri Netsmentioning

confidence: 99%

“…Elementary siphons are further developed for generalized Petri nets. [222][223][224]226 Augmented elementary siphons in WS 3 PR Augmented elementary siphons. The augmented siphon and augmented complementary set of a siphon are defined in the work by Hou et al 224 for WS 3 PR and then elementary siphons are redefined.…”

Section: Augmented Elementary Siphons In Generalized Petri Netsmentioning

confidence: 99%

“…A dependent siphon can be implicitly controlled by properly arranging the number of tokens that can stay at its elementary siphons. The results mentioned above have widely applied to a variety of elementary siphon-related deadlock control approaches 139,[217][218][219][220][221][222][223][224][225][226][227][228][229][230][231][232][233] in the literature. This article mainly aims to reveal, first, how the elementary siphon theory of Petri nets can be used to troubleshoot deadlock problems, and second, how the refined concept of elementary siphons in a Petri net improves the existing deadlock control policies.…”

Section: Introductionmentioning

confidence: 99%

“…Note that max-controllability, 234 max#-controllability, 222,238 and max$-controllability 201 can be utilized in S 4 PR, and all of them are sufficient but not necessary conditions. Max H -controllability and W-controllability are both necessary and sufficient.…”

mentioning

confidence: 99%

“…The set of input places of N S is called the set of input places of S, denoted as P in S . 222 Definition 7. Let P be the set of minimal siphons in a net (N , M 0 ).…”

mentioning

confidence: 99%

See 4 more Smart Citations

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

Hou

Barkaoui

2017

Advances in Mechanical Engineering

Self Cite

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

Section: Augmented Elementary Siphons In Generalized Petri Netsmentioning

confidence: 99%

Section: Augmented Elementary Siphons In Generalized Petri Netsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

“…The set of input places of N S is called the set of input places of S, denoted as P in S . 222 Definition 7. Let P be the set of minimal siphons in a net (N , M 0 ).…”

mentioning

confidence: 99%

See 3 more Smart Citations

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

Hou

Barkaoui

2017

Advances in Mechanical Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation

Hou¹,

Zhao²,

Liu³

2014

Asian Journal of Control

Self Cite

View full text Add to dashboard Cite

This article develops a deadlock prevention policy for a class of generalized Petri nets, namely G‐systems, which can model flexible manufacturing systems with machining, assembly, and disassembly operations. In this research, a polynomial complexity control policy for non‐blocking supervisors is established by properly adjusting resource allocation. First, a set of linear inequality constraints is derived with respect to different resource requirements such that the allocation of the system resources to various requesting processes can be appropriately restricted, that is, the resulting system has no deadlock state by imposing monitors on operation places. Moreover, an algorithm is proposed to identify the redundant constraints such that structurally simple liveness‐enforcing net supervisors can be obtained. Compared with existing polices, the proposed method can usually lead to a suboptimal supervisor with high computational efficiency. Finally, a flexible manufacturing system example is utilized to demonstrate the proposed method.

show abstract

A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems

Uzam

Gelen

et al. 2014

J Intell Manuf

View full text Add to dashboard Cite

Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets

Cited by 29 publications

References 35 publications

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

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

Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation

A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems

Contact Info

Product

Resources

About