Research Article

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

Figure 11

Two reduced S3PR models derived from Figure 10.
(a)
(b)