Controller Synthesis of Time Petri Nets Using Stopwatch

Figure 16

Controlled model of Figure 1 using stopwatch of [4].