Controller Synthesis of Time Petri Nets Using Stopwatch

Figure 2

The state graph of the TPN presented at Figure 1.