Controller Synthesis of Time Petri Nets Using Stopwatch

<table>Clock evaluation of <svg height="14.2625" id="M470" style="vertical-align:-3.27605pt" version="1.1" viewbox="0 0 12.25 14.2625" width="12.25" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,10.125)"><path d="M324 430l-26 -36l-112 -4l-55 -265q-13 -66 7 -66q13 0 44.5 20t50.5 40l17 -24q-38 -40 -85.5 -73.5t-87.5 -33.5q-50 0 -21 138l55 262h-80l-2 8l25 34h66l25 99l78 63l10 -9l-37 -153h128z" id="x1D461"></path></g>
<g transform="matrix(.012,-0,0,-.012,5.862,14.2)"><path d="M384 0h-275v27q67 5 81.5 18.5t14.5 68.5v385q0 38 -7.5 47.5t-40.5 10.5l-48 2v24q85 15 178 52v-521q0 -55 14.5 -68.5t82.5 -18.5v-27z" id="x31"></path></g>
</svg> in the controlled TPN of Figure <a href="../fig9/">9</a>.</table>

Journal of Engineering

Controller Synthesis of Time Petri Nets Using Stopwatch

Figure 8