Controller Synthesis of Time Petri Nets Using Stopwatch

Figure 19

Controlled model of Figure 17 using inhibitor hyperarcs.