970487.fig.001
Figure 1: A simple Petri net with .