A best deadlock control for S³PMR to reach all states

Abstract

This study proposes a new approach that recovers the system from deadlock states to its former live states, and reaches the same number of states as the original uncontrolled model by adding monitors (and control arcs) with no new problematic siphons. We further propose a lossless approach by coloring some arcs to avoid the material loss.

Confusion diagnosis and avoidance of discrete event systems using supervisory control

“…Step 2: Find the structural conflict K = p i , T (K ) in the subnet N , where p i is the structural conflicting place in K and T (K ) is the transition set of structural conflict K . Let 1 = T \ T (K ) and 2 GMECs (L, B ) with L = [l 1 , l 2 , . .…”

“…The AMS is available p 2 Raw Part 1 is added in B1 p 3 Raw Part 3 is added in B2 p 4 Raw Part 2 is added in B3 p 5 Raw Part 1 is stored in B4 p 6 Raw Part 3 is stored in B5 p 7 Raw Part 4 is added in B6 p 8 Raw Part 2 is stored in B7 p 9 Semifinished Part 1 is stored in B8 p 10 Semifinished Part 2 is stored in B9 p 11 Raw Part 4 is stored in B10 p 12 Semifinished Part 1 is stored in B11 p 13 Semifinished Part 2 is stored in B12 p 14 Semfinished Part 3 is stored in B13 p 15 Raw Part 5 is added in B14 p 16 Semifinished Part 3 stored in B15 is ready to be recycled p 17 Finished Part is stored in B16 p 18 Raw Part 5 stored in B17 is ready to be recycled t 1 Add raw parts 1-4 to B1, B3, B2, and B6, respectively t 2 Move Raw Part 1 from B1 to B4 through C1 t 3 Move Raw Part 3 from B2 to B5 through C2 t 4 Move Raw Part 1 from B3 to B7 through C4 t 5 Semifinished Part 1 is obtained by M1 t 6 Semifinished Part 2 is obtained by M2 t 7 Move Raw Part 4 from B6 to B10 through C5 t 8 Reuse Raw Part 2 by moving it from B7 to B3 through C3 t 9 Move Semifinished Part 1 from B8 to B11 through C7 t 10 Move Semifinished Part 2 from B9 to B12 through C8 t 11 Reuse Raw Part 4 by moving it from B10 to B6 through C6 t 12 Semifinished Part 3 is obtained by M3 and raw Part 5 is added to B14 t 13 Semifinished Part 3 is ready to be recycled by moving it from B13 to B15 through C9 t 14 Finished Part is obtained by M4 t 15 Raw Part 5 is ready to be recycled by moving it from B14 to B17 through C10 t 16 Recycle Semifinished Part 3 and Raw Part 5 t 17 A Finished Part is released and the working of the AMS is finished.…”

“…Fault detection and avoidance are important problems in discrete event systems (DESs) [1][2][3][4][5][6][7][8][9][10]. Conflicts in a DES are tied to the competition for limited resources between two or more events, which is usually considered as the system interfaces between a DES and its external environments, e.g.…”

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

“…Deadlock prevention is considered to be a well-defined problem in an FMS [54], which is usually achieved either by designing an effective system or using an off-line computational mechanism to control the request for resources to ensure that deadlocks never occur. In the Petri net framework, monitors (control places) and related arcs are added to a plant net model to realize the off-line computational mechanism [6][7][8]18,27,29,30,36,38,40,[43][44][45].…”

Controller Synthesis with Highly Simplified Linear Constraints

“…Deadlock states in flexible manufacturing systems (FMSs) are major problems, and the system must avoid entering them . Using Siphon theory, the control places can be calculated to prevent the system from entering these states . In general, however, some of the control places may be redundant and should be eliminated.…”