Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors

<div>(a) An S<sup>3</sup>PR <svg height="12.449pt" id="M310" style="vertical-align:-3.16067pt" version="1.1" viewbox="-0.0498162 -9.28833 43.2006 12.449" width="43.2006pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M309 -142C211 -61 151 99 151 271S210 601 309 683L288 710C141 611 75 451 75 272V271C75 90 141 -72 288 -169L309 -142Z" id="g50-41"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="358" vert-adv-y="358"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,4.654,0)"><path d="M870 650H622L613 619C694 615 708 606 708 559C708 531 702 477 686 396L636 136H633L281 650H127L120 619C180 616 198 611 212 592C227 572 232 558 220 503L166 254C148 169 139 131 126 89C112 43 85 35 33 32L24 0H280L286 32C208 37 189 44 189 93C189 124 198 179 212 250L267 526H271L622 -8H655L732 396C747 477 762 532 770 556C785 600 798 616 862 619L870 650Z" id="g50-79"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="888" vert-adv-y="888"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,15.733,0)"><path d="M98 134C72 134 46 117 46 90C46 73 55 65 60 64C95 55 124 32 124 -4C124 -42 95 -68 44 -89L57 -123C122 -104 194 -60 194 22C194 94 136 134 98 134Z" id="g50-45"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="237" vert-adv-y="237"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,21.019,0)"><path d="M1006 650H829L492 147L357 650H174L166 618C270 609 275 601 247 502L194 315C158 189 136 127 122 96C104 56 80 37 18 32L12 0H256L263 32C181 40 176 51 183 98C188 132 197 179 226 281L299 541H301L433 6H458L809 551H811L753 141C739 41 734 39 650 32L642 0H917L923 32C836 39 827 41 839 142L887 535C896 610 901 612 997 618L1006 650Z" id="g50-78"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="1030" vert-adv-y="1030"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,33.369,3.001)"><path d="M245 635C92 635 37 457 37 312C37 149 91 -12 244 -12C395 -12 449 166 449 312C449 469 395 635 245 635ZM243 598C332 598 358 454 358 312C358 173 334 26 245 26C158 26 128 174 128 313S152 598 243 598Z" id="g50-49"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="487" vert-adv-y="487"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,38.316,0)"><path d="M283 271C283 451 220 610 70 710L48 683C146 603 207 443 207 271S149 -59 48 -142L70 -169C220 -67 283 90 283 271Z" id="g50-42"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="358" vert-adv-y="358"></glyph.data></g></svg> and (b) a controlled system of <svg height="8.80314pt" id="M311" style="vertical-align:-0.2063999pt" version="1.1" viewbox="-0.0498162 -8.59674 11.2172 8.80314" width="11.2172pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M870 650H622L613 619C694 615 708 606 708 559C708 531 702 477 686 396L636 136H633L281 650H127L120 619C180 616 198 611 212 592C227 572 232 558 220 503L166 254C148 169 139 131 126 89C112 43 85 35 33 32L24 0H280L286 32C208 37 189 44 189 93C189 124 198 179 212 250L267 526H271L622 -8H655L732 396C747 477 762 532 770 556C785 600 798 616 862 619L870 650Z" id="g50-79"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="888" vert-adv-y="888"></glyph.data></g></svg>.</div>

Discrete Dynamics in Nature and Society

fig1

Figure 1

Figure 1: Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors 

Figure 1 | Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors 