Controller Synthesis of Time Petri Nets Using Stopwatch

Figure 4

An interruptible task modeled by SWPN, reported from [4].