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

Figure 9

(a) Production sequence and (b) Petri net model of case study 4.

(a)

(b)