Controller Synthesis of Time Petri Nets Using Stopwatch

<table>Controlling the example of Figure <a href="../fig1/">1</a> using stopwatch of [<a href="/journals/je/2013/970487/#B4">4</a>]. The controller fails.</table>

Journal of Engineering

fig15

Figure 15

Figure 15: Controller Synthesis of Time Petri Nets Using Stopwatch 