A Multistep Look-Ahead Deadlock Avoidance Policy for Automated Manufacturing Systems

Figure 9

Two reduced S³PR models derived from Figure 3.

(a)

(b)