Fault Diagnosis for Discrete Event Systems Using Partially Observed Petri Nets

Figure 5

Reduction rules applied to Petri net.