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

Figure 6

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

(a)

(b)