Fault Diagnosis for Discrete Event Systems Using Partially Observed Petri Nets

Figure 11

The reduced model of sorting operation with an AGV.