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

Figure 1

Transition firing: (a) marking before firing, (b) marking after firing.

(a)

(b)