Research Article

Controller Synthesis of Time Petri Nets Using Stopwatch

Figure 9

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