Controller Synthesis of Time Petri Nets Using Stopwatch

Figure 11

The controlled TPN of Figure 10 using inhibitor hyperarcs (𝑇_𝑐={𝑡₁}). Forbidden interval is ]𝛼₁,𝑏] where 𝑎≤𝛼₁<𝑏.