Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation

<table>An <svg height="11.175" id="M592" style="vertical-align:-0.0pt" version="1.1" viewbox="0 0 15.275 11.175" width="15.275" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.113)"><path d="M861 0h-263v28q61 5 73 22t12 97l-4 408h-4l-244 -548h-20l-224 534h-2l-15 -285q-5 -98 -3 -166q1 -34 19.5 -45t72.5 -17v-28h-233v28q45 5 62.5 17t22.5 43q11 65 19 183l14 208q3 36 3.5 55t-2.5 37.5t-6.5 25t-16.5 13t-25.5 8t-39.5 4.5v28h164l228 -501l232 501
h170v-28q-68 -6 -81 -21.5t-11 -91.5l9 -362q2 -80 15 -97t78 -22v-28z" id="x4D"></path></g>
</svg>-net model.</table>

Journal of Applied Mathematics

fig7

Figure 7

Figure 7: Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation 