192516.fig.004
Figure 4: Block diagram of Algorithm 1 for capturing the state evolution of the Petri net shown in Figure 3.