Two types of extended RSNBs and their application in modeling flexible manufacturing systems

Liu, Guanjun; Jiang, Changjun; Chen, Lijing; Wu, Zhihui

doi:10.1007/s00170-009-1995-x

Cited by 10 publications

(4 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other future work includes its extension to more sophisticated manufacturing‐oriented Petri nets, e.g. .…”

Section: Resultsmentioning

confidence: 99%

“…Petri nets are used widely to deal with the deadlock control problems in discrete event systems (DES) , especially in flexible manufacturing systems (FMS) . In the past two decades, efforts were made to solve the problems of computational complexity, structural complexity, and behavior permissiveness in designing liveness‐enforcing supervisors .…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Design of a Maximally Permissive Liveness‐enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems

Wang¹,

Zhou²,

Wu³

2014

Asian Journal of Control

View full text Add to dashboard Cite

This paper deals with the problems of computational and structural complexity in designing maximally permissive liveness-enforcing supervisors for a class of Petri nets called Systems of Simple Sequential Processes with Resources (S 3 PR) without ξ-resources. The supervisor consists of two parts: the first part proposes an algorithm to extract a desired emptied strict minimal siphon (SMS) from a given emptied siphon based on loop resource subsets. This is faster than the existing ones. The second part proposes a siphon-based deadlock prevention policy, which can obtain a maximally permissive liveness-enforcing supervisor with reduced structural complexity and no weighted monitors, owing to the contribution of the first part, which can compute a desired SMS such that one with the smallest number of resource places is selected first for control. Several flexible manufacturing systems are used to show the proposed method and its superior performance over the previous ones.

show abstract

“…Other future work includes its extension to more sophisticated manufacturing‐oriented Petri nets, e.g. .…”

Section: Resultsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Design of a Maximally Permissive Liveness‐enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems

Wang¹,

Zhou²,

Wu³

2014

Asian Journal of Control

View full text Add to dashboard Cite

show abstract

“…Once a deadlock situation occurs, some manufacturing processes can never be finished until it is resolved. There are mainly three methods to deal with deadlocks: prevention [1], [7]- [12], [18]- [22], [24]- [29], [31]- [37], avoidance [1]- [3], [16], [17], [37]- [44], [47]- [49], and detection/recovery [6], [45]. Some methods can guarantee that a system is live, while others permit deadlocks to occur, but must ensure that they can be detected and proper recovery measures can be taken.…”

Section: Introductionmentioning

confidence: 99%

“…Some FMS can be modeled by subclasses of Petri nets, such as PPN [2], [8], [18], [33], [12], [31], [1], [3], RSNB [24], [25] and ERCN-merged net [14], [15], [46]. Based on these subclasses, a variety of policies are proposed to solve the deadlock problem.…”

Section: Introductionmentioning

confidence: 99%

Two Simple Deadlock Prevention Policies for ${\rm S}^{3}{\rm PR}$ Based on Key-Resource/Operation-Place Pairs

Liu

Jiang

Zhou

2010

IEEE Trans. Automat. Sci. Eng.

Self Cite

View full text Add to dashboard Cite

This paper proposes the concept of Key-resource/operation-place Pairs (KP) of S 3 PR (systems of simple sequential processes with resources). Based on KP, two policies are presented to prevent deadlocks in flexible manufacturing systems (FMS) that can be modeled by S 3 PR. The idea is to control some key resource places only to guarantee that all strict minimal siphons (SMS) never become empty, thereby making the controlled system live. It enables one to design two easy-to-implement control policies. The first one can guarantee that the controlled system is live, and the second one can also make the controlled system live if there is no SMS containing any control place in the controlled system. At last, a well-known FMS example is used to illustrate the proposed concept and policies. Note to Practitioners-This work is motivated by the problem of deadlock prevention in flexible manufacturing systems (FMSs).Petri-net-based deadlock prevention policies are popular. We propose a new concept of Petri nets, KP. Based on it, we develop two easy-to-implement deadlock prevention policies for FMS. The idea behind them is simple, i.e., deadlocks can be prevented by controlling some key resources such as machines and robots. Compared with such policies as iterative control policy and elementary-siphon-based policy, the proposed ones can make the supervisor simpler. They also enjoy higher adaptability to the change of the resource quantities. In other words, when some new resources are put in service or some resources have to quit, the corresponding supervisor requires trivial adjustment. This is certainly important in achieving the goal of agile manufacturing and automation. However, the computational complexity of the proposed policies is still high despite their low control implementation cost since all strict minimal siphons have to be computed in order to generate the KP-based supervisors.Index Terms-Deadlock prevention, discrete-event systems (DES), flexible manufacturing systems (FMSs), Petri nets.

show abstract

Petri Nets with Special Structures

Liu

2022

Petri Nets

View full text Add to dashboard Cite

Two types of extended RSNBs and their application in modeling flexible manufacturing systems

Cited by 10 publications

References 40 publications

Design of a Maximally Permissive Liveness‐enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems

Design of a Maximally Permissive Liveness‐enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems

Two Simple Deadlock Prevention Policies for ${\rm S}^{3}{\rm PR}$ Based on Key-Resource/Operation-Place Pairs

Petri Nets with Special Structures

Contact Info

Product

Resources

About