970487.fig.009
Figure 9: Time Petri net of Figure 1, controlled by inhibitor hyperarcs .