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

Algorithm 4

Function newmarking.

NEWMARKING Algorithm

Input: Marking =[]_𝑃×1, Internal, External, Status, Tranum

Output: Outmarking (a new marking resulting from firing transition Tranum)

Difference = [0]_𝑃×𝑇;

For  𝑘=1→𝑇

 for  𝑖=1→𝑃

  if  Status (𝑖,𝑘)=1  then

   Difference = External − Internal;

  else

   Difference = External;

  end if

 end for

end for

Outmarking = Marking + Difference ×[0]_𝑇×1 (with element 1 in rownumber Tranum);

return Outmarking