Fault Diagnosis for Discrete Event Systems Using Partially Observed Petri Nets

Table 1

Nodes of partially observed Petri net model of sorting operation with an AGV.

	Significance
	AGV in area
	AGV is available to take a new part
	Switch (resp., ) is activated
	Output buffers -
	Operations in area – are over
	AGV exits the loading station with a part of type 1 (resp., 2)
	A part exits the system and is stored in buffer (resp., )
	Fault : AGV exits the loading station without any part
	Fault : a part of type 1 activates the switch