Mathematical Problems in Engineering

Research Article

Stochastic DES Fault Diagnosis with Coloured Interpreted Petri Nets

Algorithm 2

Fault filtering.
Input: ; ; is the expected sequence.
Output: .
Initial Conditions: .
 If then , therefore is the expected sensor reading.
  If then
   For
    if then, delete because is a fault propagation.
    else include in
    end if
   end for
  end if
 else there is not a fault propagation.
 end if