Controller Synthesis of Time Petri Nets Using Stopwatch

<table>A simple Petri net with <svg height="16.4" id="M201" style="vertical-align:-3.3907pt" version="1.1" viewbox="0 0 60.25 16.4" width="60.25" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.112)"><path d="M649 676l-22 -187l-33 -2q3 56 -12 94q-8 20 -31.5 26.5t-86.5 6.5h-74l-90 -491q-4 -23 -6 -36.5t1 -25t7 -16.5t18 -9t27 -5t41 -3l-6 -28h-286l4 28q68 5 84 18.5t28 76.5l94 491h-55q-74 0 -100.5 -6t-41.5 -23q-24 -29 -54 -98l-32 1q32 98 53 188h22q7 -18 15 -22
t37 -4h417q23 0 33.5 5t25.5 21h23z" id="x1D447"></path></g>
<g transform="matrix(.012,-0,0,-.012,11.388,16.2)"><path d="M383 397q0 -32 -35 -49q-12 -6 -23 8q-37 45 -84 45t-90 -71q-40 -65 -40 -167q0 -57 22 -86t59 -29q38 0 81.5 24.5t69.5 51.5l16 -21q-44 -53 -104 -84t-109 -31q-56 0 -89.5 41t-33.5 117q0 61 30 124t79 105q33 28 81 50.5t86 22.5q34 0 59 -15.5t25 -35.5z" id="x1D450"></path></g>
<g transform="matrix(.017,-0,0,-.017,21.562,12.112)"><path d="M535 323h-483v50h483v-50zM535 138h-483v50h483v-50z" id="x3D"></path></g><g transform="matrix(.017,-0,0,-.017,36.249,12.112)"><path d="M293 -169q-145 0 -145 128q0 35 4 106t3 104q0 17 -2 28t-10 25.5t-28 23t-51 10.5v29q31 2 51 10.5t28 23t10 25.5t2 28q0 31 -4 101t-3 104q0 132 145 132v-28q-51 -7 -67.5 -30t-16.5 -63q0 -32 6.5 -99.5t6.5 -100.5q0 -97 -83 -115v-4q83 -20 83 -117
q0 -34 -6.5 -99.5t-6.5 -96.5q0 -41 16.5 -65.5t67.5 -31.5v-28z" id="x7B"></path></g><g transform="matrix(.017,-0,0,-.017,42.148,12.112)"><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,47.95,16.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>
<g transform="matrix(.017,-0,0,-.017,54.288,12.112)"><path d="M283 255q-31 -2 -51 -10.5t-28 -23.5t-10 -27t-2 -30q0 -28 4 -97.5t4 -107.5q0 -128 -146 -128v28q50 7 67.5 31t17.5 63q0 33 -7 100t-7 98q0 96 84 117v4q-84 20 -84 115q0 34 7 102.5t7 98.5q0 40 -17.5 63t-67.5 30v28q28 0 50 -4t45.5 -16.5t37 -40t13.5 -68.5
q0 -37 -4 -106.5t-4 -98.5q0 -18 2 -30t10 -27t28 -23.5t51 -10.5v-29z" id="x7D"></path></g>
</svg>.</table>

Journal of Engineering

Controller Synthesis of Time Petri Nets Using Stopwatch

Figure 1