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

Figure 7

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

(a)

(b)