970487.fig.003
Figure 3: A simple example of time Petri nets with inhibitor hyperarc. is active if is not marked, otherwise it is suspended.