Stochastic DES Fault Diagnosis with Coloured Interpreted Petri Nets

Algorithm 1

Diagnosis process.

Inputs: , ; , for ;

Outputs: ; ; update

Initial Conditions: ; ; .

 (1) ;

 (2) for

   (i) ; ; ; ; .

   (ii) read , at time

   (iii) ; ;

    end for

 (3) ;

 (4) Wait for a new ; read ;

 (5) =

   (a) if then and .

   (b) else is a generic fault in ; ;

     then a new is generated as:

      (i) compute a vector of zeros except in position which has

      a value of .

      (ii) compute a vector of zeros except in position

      which has a value of and position which has a weight of .

      (iii) the new fire, the net reaches the marking: ;

       and . .

      (iv) .

      (v) Execute Algorithm 2.

     end if

 (6) Wait for the next event and return to Step  (3)