Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation

Figure 1

(a) A plant model (𝑁,𝑀₀), (b) the reachability graph of (𝑁,𝑀₀), (c) a modified model (𝑁¹,𝑀¹), (d) the reachability graph of (𝑁¹,𝑀¹), and (e) a controlled system (𝑁^1𝑐,𝑀^1𝑐) for (𝑁¹,𝑀¹).

(a)

(b)

(c)

(d)

(e)