Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems

Figure 4

Controlled system of the Petri net in Figure 1(b) by Algorithm 9.