Sequential Failure Analysis Using Novel Algorithms in Sequence Determination of Petri Nets Firing

Algorithm 1

Main algorithm.

MAIN Algorithm

Input: Internal = []_𝑃×𝑇, External = []_𝑇×𝑃, 𝑀(0), Status = []_𝑃×𝑇

Output:  Info matrix     // Info is defined in Section 4.3.2

External = External*; Info = [0]_𝑛×𝑛;

Info {1,1} = 𝑀(0); Info {2,1} = Enabling(𝑀(0), Internal, External);

Stop = 0; level = 1;

while Stop = 0 do

 for  𝑔=2→3→Linefinder(Info)

  Info= Copier(Info, 𝑔, level, 𝑇);

 end for

 Info = Filler(Info, level, 𝑇, Internal, External, Status);

 for  𝑠=1→Linefinder(Info)

  if Info {𝑠, level} = 0

   Stop = Stop + 1;

  end if

 end for

 if Stop = Linefinder(Info)

  end while

 else Stop = 0; level = level + 1;

 end if

end while

return Info