Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems

Li, Zhiwu; Liu, Gaiyun; Hanisch, Hans-Michael; Zhou, MengChu

doi:10.1109/tsmca.2011.2147308

Cited by 148 publications

(99 citation statements)

References 54 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…On the research of the deadlock prevention policy topic, Chao 18 showed that in a kth order system, it needs additional 10 controllers; Li et al 28 showed that in a kth order-like system where k = 3 and initial marking = 4, it needs additional three controllers where the total token number in these additional controllers is 5. The derived problem is, ''Should we need a deadlock prevention policy for very (infinitely) large nets?''…”

Section: Introductionmentioning

confidence: 99%

Construct the closed-form solution of A-net of Petri nets by case study

Chao

2017

Advances in Mechanical Engineering

View full text Add to dashboard Cite

After our researches on the effect of a non-sharing resource in a kth order which is the concept of customization manufacturing, in this article we extend the research on the closed-form solution of control-related states to the so-called Anet which has one top non-sharing circle subnet connected to the idle place of left process in a deficient kth order system and is the fundamental model of different productions sharing the same common parts in manufacturing. The formulas just are depended on the parameter k and states' function of top non-sharing circle subnet for a subclass of nets with k sharing resources. By combining the concept of the partial deadlock avoidance/prevention policy, the moment to launch resource (controller) allocation based on the current state, and the construction of closed-form solution for deficient kth order system, it can realize the concept of dynamic non-sharing processes' allocation.

show abstract

Section: Introductionmentioning

confidence: 99%

Construct the closed-form solution of A-net of Petri nets by case study

Chao

2017

Advances in Mechanical Engineering

View full text Add to dashboard Cite

show abstract

“…This problem is related to how the robotic cell is controlled, although other problems, such as deadlocks and machine blocking, must also be considered. Most cell controllers that have been proposed to date are based on Petri net (PN) approaches [34,41,44,[47][48][49]. Deadlocks are an important control issue in robotic cells because their occurrence always blocks the operation of the affected cells, which may be catastrophic in highly automated systems [9][10][11][12][13].…”

Section: Introductionmentioning

confidence: 99%

Optimal robotic cell scheduling with controllers using mathematically based timed Petri nets

Al-Ahmari

2016

Information Sciences

View full text Add to dashboard Cite

“…Previous research indicates that siphons are closely related to the deadlocks in Petri net models of FMS. Many scholars focus on solving and controlling siphons and have developed a large number of siphon-based controlled (SC) policies [5,8,9,12,13,15,22,[27][28][29][30][31][32][33][34][35][36]. It is well known that the number of strict minimal siphons (SMSs) in a Petri net grows quickly or and may grow exponentially with respect to its size [1] such that it is difficult and timeconsuming to find out the SMSs.…”

Section: Introductionmentioning

confidence: 99%

Policy to cope with deadlocks and livelocks for flexible manufacturing systems using the max′‐controlled new smart siphons

et al. 2014

IET Control Theory & Applications

View full text Add to dashboard Cite

Both deadlocks and livelocks can result in the serious problems in running process of a flexible manufacturing system (FMS). This study proposes an iterative control policy for an FMS modelled with Petri nets on the basis of a combination of revised mixed integer programming and the concept of max -controlled siphon, which can not only solve the smart siphons associated with deadlocks and livelocks in Petri nets directly, but also make them max -controlled. Accordingly, an original Petri net system with deadlocks and livelocks can be turned into the live controlled one with a simple structure, and meanwhile no smart siphons can be found in it. It lays foundations for further analysis and control on deadlocks and livelocks. Compared with the existing methods in the literature, the proposed one is more general and effective. A theoretical analysis and several examples are given to demonstrate its efficiency and practical potentials.

show abstract

Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems

Cited by 148 publications

References 54 publications

Construct the closed-form solution of A-net of Petri nets by case study

Construct the closed-form solution of A-net of Petri nets by case study

Optimal robotic cell scheduling with controllers using mathematically based timed Petri nets

Policy to cope with deadlocks and livelocks for flexible manufacturing systems using the max′‐controlled new smart siphons

Contact Info

Product

Resources

About