Controller Synthesis of Time Petri Nets Using Stopwatch

Figure 18

The state class graph of the TPN presented at Figure 17.