Fault Diagnosis for Discrete Event Systems Using Partially Observed Petri Nets

Algorithm 3

Online fault diagnosis.

	Input: Petri net system, the fault transition , an observed sequence
	Output:
	(1) if and exist then
	(2)  for all do
	(3)   derive and
	(4)  end for
	(5)  for all do
	(6)   derive and
	(7)  end for
	(8) else
	(9)  end the algorithm
	(10) end if
	(11) derive and
	(12) derive