970487.fig.0010
Figure 10: A simple time Petri net .