An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets

Hou, Yifan; Zhao, Mi; Liu, Ding; Hong, Liang

doi:10.1155/2016/8219424

Cited by 7 publications

(18 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Generally, our proposed method works on S 4 PR class of Petri nets, which is more generalized than other classes of Petri nets. Definition 1: [37] A system of sequential systems with shared resources (S 4 PR) is a generalized connected self-loop Petri net N = (P, T, F, W ), where 1) P = P A ∪ Θ, is a place partition such that…”

Section: Computation Of Loop Markingmentioning

confidence: 99%

Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control

Bashir

Zhou

Muhammad³

2021

IEEE Access

View full text Add to dashboard Cite

Supervisory control for discrete event systems that is widely studied in the literature to tackle the Petri net model's deadlock occurrence of flexible manufacturing systems. A supervisory structure constructed using control places imposed restrictions on the concurrent operation in the systems, which degrade the supervisor's efficiency. This study proposed a new method to construct a supervisory structure using combine control places and control transitions to ensure flexible manufacturing systems' smooth operation. Place-Transition controller is designed for each concurrent process of the systems. Three algorithms are proposed in this method. The algorithm 1 computes the loop markings at each process of the Petri net model. Algorithm 2 is used to sort the deadlock markings based on the concurrent processes of the Petri net model. The Transition-Place controller and Place-Transition controller are designed using algorithm 3. Transition-Place controller creates extra states in the reachability graph, which is called dump markings. Place-Transition controller projects the deadlock markings to the loop markings via dump markings. The number of states created by the Transition-Place controller depends on the number of concurrent states in the Petri net model. The final supervisory structure controls the deadlock occurrence of flexible manufacturing systems with zero restrictions of systems operation. This proposed method is efficient as it retains all the states generated in the controlled Petri net model.

show abstract

Section: Computation Of Loop Markingmentioning

confidence: 99%

Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control

Bashir

Zhou

Muhammad³

2021

IEEE Access

View full text Add to dashboard Cite

show abstract

“…The main challenges of the study of DES are the occurrence of deadlocks. Deadlocks can occur due to excessive use of shared resources in the systems, which degrade the system performance of DES [10][11][12][13][14][15][16][17]. Three main tools exist to design a decentralized supervisory structure for DES, namely, they are; graph theory [2,5,15,16], automata [18][19][20][21][22] and Petri nets [14,16,[23][24][25][26][27].…”

Section: Introductionmentioning

confidence: 99%

Global Supervisory Structure for Decentralized Systems of Flexible Manufacturing Systems Using Petri Nets

Bashir

Hong

2019

Processes

Self Cite

View full text Add to dashboard Cite

Decentralized supervisory structure has drawn much attention in recent years to address the computational complexity in designing supervisory structures for large Petri net model. Many studies are reported in the paradigm of automata while few can be found in the Petri net paradigm. The decentralized supervisory structure can address the computational complexity, but it adds the structural complexity of supervisory structure. This paper proposed a new method of designing a global controller for decentralized systems of a large Petri net model for flexible manufacturing systems. The proposed method can both reduce the computational complexity by decomposition of large Petri net models into several subnets and structural complexity by designing a global supervisory structure that can greatly reduce the cost at the implementation stage. Two efficient algorithms are developed in the proposed method. Algorithm 1 is used to compute decentralized working zones from the given Petri net model for flexible manufacturing systems. Algorithm 2 is used to compute the global controller that enforces the liveness to the decentralized working zones. The ring assembling method is used to reconnect and controlled the working zones via a global controller. The proposed method can be applied to large Petri nets size and, in general, it has less computational and structural complexity. Experimental examples are presented to explore the applicability of the proposed method.

show abstract

“…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%

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

An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets

Cited by 7 publications

References 28 publications

Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control

Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control

Global Supervisory Structure for Decentralized Systems of Flexible Manufacturing Systems Using Petri Nets

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

Contact Info

Product

Resources

About