Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors

Figure 4

Monitor (a) with original output arcs and (b) with rearranged output arcs.

(a)

(b)