Confusion Control in Generalized Petri Nets Using Synchronized Events

<div>(a) A CIC <svg height="17.3761pt" id="M495" style="vertical-align:-3.1815pt" version="1.1" viewbox="-0.0498162 -14.1946 129.317 17.3761" width="129.317pt" 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="M645 631C614 643 545 666 457 666C215 666 23 519 23 283C23 90 158 -16 337 -16C412 -16 489 2 522 10C543 39 590 127 606 167L580 181C519 89 459 18 348 18C201 18 122 136 122 287C122 464 244 632 435 632C544 632 602 595 608 472L639 475C643 526 645 581 645 631Z" id="g113-68"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="668" vert-adv-y="668"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,8.619,3.132)"><path d="M138 535C169 535 191 560 191 589C191 620 168 644 139 644S85 620 85 589C85 560 110 535 138 535ZM257 0V30C192 35 185 43 185 109V453C142 435 94 422 40 414V386C101 378 104 372 104 311V109C104 41 97 35 33 30V0H257Z" id="g58-103"></path><glyph.data ascent="1007" descent="-369" horiz-adv-x="275" vert-adv-y="275"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,11.122,3.132)"><path d="M532 0V30C473 38 467 38 467 107V298C467 395 416 451 336 451C307 451 279 439 251 420C226 404 205 389 185 374V453C142 434 94 422 43 413V386C98 378 104 373 104 309V107C104 41 100 38 31 30V0H251V30C191 35 185 40 185 107V337C216 364 255 389 295 389C360 389 386 347 386 276V110C386 44 380 35 321 30V0H532Z" id="g58-108"></path><glyph.data ascent="1007" descent="-369" horiz-adv-x="557" vert-adv-y="557"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,16.717,0)"><path d="M300 -147C201 -63 143 98 143 270S200 602 300 686L282 710C136 610 70 450 70 271V270C70 89 136 -72 282 -170L300 -147Z" id="g113-41"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="346" vert-adv-y="346"></glyph.data></g><rect height="0.65243" width="10.9479" x="21.2147" y="-11.1958"></rect><g transform="matrix(.013,0,0,-0.013,21.215,0)"><path d="M822 650H589L583 622C660 617 677 607 674 561C672 534 664 481 647 390L600 137H596L273 650H126L120 622C176 620 194 615 207 594C221 571 225 557 214 504L161 257C141 166 129 112 121 85C108 42 83 30 29 28L23 0H260L266 28C193 33 173 42 176 89C178 122 186 172 202 255L256 527H259L583 -8H612L690 390C708 481 720 535 728 558C744 603 756 619 816 622L822 650Z" id="g113-79"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="839" vert-adv-y="839"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,32.163,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z" id="g50-50"></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,37.109,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z" id="g113-45"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="228" vert-adv-y="228"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,42.252,0)"><path d="M620 675H597C578 656 570 650 541 650H144C112 650 104 653 94 675H72C59 618 42 552 23 493L53 491C71 534 88 564 105 585C124 608 144 615 238 615H290L197 121C182 40 174 34 88 28L82 0H361L367 28C275 34 266 38 281 121L374 615H441C522 615 543 608 553 583C562 560 566 531 565 493L597 494C603 551 612 629 620 675Z" id="g113-85"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="637" vert-adv-y="637"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,50.537,0)"><path d="M300 -147C201 -63 143 98 143 270S200 602 300 686L282 710C136 610 70 450 70 271V270C70 89 136 -72 282 -170L300 -147Z" id="g113-41"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="346" vert-adv-y="346"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,55.035,0)"><path d="M743 650H503L496 622L527 618C563 613 564 603 532 573C449 495 371 431 323 392C301 374 272 355 246 346L280 522C297 609 300 614 379 622L385 650H135L129 622C209 614 215 609 198 522L124 133C106 39 99 35 23 28L17 0H271L277 28C193 35 192 39 208 133L239 316C264 328 280 325 303 288C368 183 435 90 502 0H652L659 28C602 34 584 43 543 94C495 154 403 283 347 369L574 554C634 603 659 612 735 624L743 650Z" id="g113-76"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="755" vert-adv-y="755"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,64.265,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z" id="g50-50"></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,69.212,0)"><path d="M275 270C275 450 212 609 64 710L45 686C145 604 203 442 203 270S147 -63 45 -147L64 -170C213 -68 275 89 275 270Z" id="g113-42"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="346" vert-adv-y="346"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,73.71,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z" id="g113-45"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="228" vert-adv-y="228"></glyph.data></g><rect height="0.65243" width="12.853" x="78.8529" y="-11.1958"></rect><g transform="matrix(.013,0,0,-0.013,78.853,0)"><path d="M962 650H795L470 145L347 650H176L170 622C268 613 275 606 244 503L190 322C150 188 132 126 118 91C102 50 80 33 18 28L12 0H245L251 28C175 35 170 48 174 93C177 128 191 180 220 284L292 542H294C331 392 383 150 409 4H432L774 555H776L714 137C700 40 694 34 612 28L606 0H868L874 28C793 34 784 37 797 137L849 533C859 612 863 616 956 622L962 650Z" id="g113-78"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="985" vert-adv-y="985"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,91.706,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z" id="g50-50"></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,96.652,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z" id="g113-45"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="228" vert-adv-y="228"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,101.795,0)"><path d="M70 662V0H348C544 0 677 137 677 332C677 532 547 662 348 662H70ZM553 541C610 488 633 419 633 342C633 278 609 166 553 126V541ZM509 99C475 62 389 44 342 44H236V618H343C393 618 466 598 509 571V99ZM192 44H114V618H192V44Z" id="g197-15"></path><glyph.data ascent="693" descent="-218" horiz-adv-x="722" vert-adv-y="722"></glyph.data></g><rect height="0.484101" width="9.08842" x="111.181" y="-13.6607"></rect><g transform="matrix(.0091,0,0,-0.0091,111.181,-5.741)"><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(.0065,0,0,-0.0065,120.27,-3.641)"><path d="M394 0V37C301 42 295 50 295 122V635C236 613 178 596 109 583V553L165 551C205 549 209 544 209 495V122C209 50 203 42 111 37V0H394Z" id="g176-50"></path><glyph.data ascent="3439" descent="-2858" horiz-adv-x="494" vert-adv-y="494"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,124.489,0)"><path d="M275 270C275 450 212 609 64 710L45 686C145 604 203 442 203 270S147 -63 45 -147L64 -170C213 -68 275 89 275 270Z" id="g113-42"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="346" vert-adv-y="346"></glyph.data></g></svg> with <svg height="16.3452pt" id="M496" style="vertical-align:-2.150599pt" version="1.1" viewbox="-0.0498162 -14.1946 50.8789 16.3452" width="50.8789pt" 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="M162 -163V703H101V-163H162Z" id="g113-9"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="263" vert-adv-y="263"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,3.419,0)"><path d="M70 662V0H348C544 0 677 137 677 332C677 532 547 662 348 662H70ZM553 541C610 488 633 419 633 342C633 278 609 166 553 126V541ZM509 99C475 62 389 44 342 44H236V618H343C393 618 466 598 509 571V99ZM192 44H114V618H192V44Z" id="g197-15"></path><glyph.data ascent="693" descent="-218" horiz-adv-x="722" vert-adv-y="722"></glyph.data></g><rect height="0.484101" width="9.08842" x="12.805" y="-13.6607"></rect><g transform="matrix(.0091,0,0,-0.0091,12.805,-5.741)"><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(.0065,0,0,-0.0065,21.893,-3.641)"><path d="M394 0V37C301 42 295 50 295 122V635C236 613 178 596 109 583V553L165 551C205 549 209 544 209 495V122C209 50 203 42 111 37V0H394Z" id="g176-50"></path><glyph.data ascent="3439" descent="-2858" horiz-adv-x="494" vert-adv-y="494"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,26.113,0)"><path d="M162 -163V703H101V-163H162Z" id="g113-9"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="263" vert-adv-y="263"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,33.164,0)"><path d="M535 323V373H52V323H535ZM535 138V188H52V138H535Z" id="g117-34"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="587" vert-adv-y="587"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,44.426,0)"><path d="M384 0V27C293 34 287 42 287 114V635C232 613 172 594 109 583V559L157 557C201 555 205 550 205 499V114C205 42 199 34 109 27V0H384Z" id="g113-50"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="480" vert-adv-y="480"></glyph.data></g></svg> and (b) its partial reachability graph obtained by concurrently firing <svg height="10.9953pt" id="M497" style="vertical-align:-3.18148pt" version="1.1" viewbox="-0.0498162 -7.81382 9.43046 10.9953" width="9.43046pt" 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="M324 430H196L233 583L223 592L145 529L120 430H54L29 396L31 388H111L56 126C33 15 54 -12 77 -12C137 -12 214 57 250 95L233 119C208 92 155 59 138 59C126 59 120 70 131 125L186 390L298 394L324 430Z" id="g113-117"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="341" vert-adv-y="341"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,4.368,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z" id="g50-50"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="487" vert-adv-y="487"></glyph.data></g></svg> and <svg height="11.1049pt" id="M498" style="vertical-align:-3.29108pt" version="1.1" viewbox="-0.0498162 -7.81382 9.43046 11.1049" width="9.43046pt" 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="M324 430H196L233 583L223 592L145 529L120 430H54L29 396L31 388H111L56 126C33 15 54 -12 77 -12C137 -12 214 57 250 95L233 119C208 92 155 59 138 59C126 59 120 70 131 125L186 390L298 394L324 430Z" id="g113-117"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="341" vert-adv-y="341"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,4.368,3.132)"><path d="M290 377C321 398 342 415 358 430C378 450 389 473 389 502C389 578 329 635 238 635H237C184 635 137 610 109 578L64 515L88 493C112 529 154 573 208 573S303 542 303 482C303 409 233 370 141 341L149 308C165 313 190 319 215 319C272 319 341 283 341 193C342 98 292 43 222 43C163 43 122 72 96 94C88 101 79 100 70 94C61 87 47 73 46 60C44 47 48 37 62 23C76 10 118 -12 165 -12C238 -12 430 62 430 223C430 297 379 359 290 375V377Z" id="g50-52"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="487" vert-adv-y="487"></glyph.data></g></svg>.</div>

Mathematical Problems in Engineering

fig7

Figure 7

Figure 7: Confusion Control in Generalized Petri Nets Using Synchronized Events 