Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations

<div>Reachability graph of the compound Petri net <span class="nowrap"><svg height="10.1628pt" id="M537" style="vertical-align:-0.2064095pt" version="1.1" viewbox="-0.0498162 -9.95639 12.5334 10.1628" width="12.5334pt" 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="M610 18C585 26 567 34 540 68C517 97 499 128 476 171C452 215 425 276 413 304C496 332 570 394 570 494C570 555 545 595 509 619S419 650 364 650H139L133 622C216 615 219 612 203 527L129 132C112 40 105 36 23 28L17 0H279L285 28C199 34 194 40 211 132L239 284H284C320 284 334 275 351 236C374 182 394 140 420 93C459 23 495 -1 592 -8H600L610 18ZM480 485C480 424 449 372 403 342C374 323 338 316 293 316H245L291 562C296 589 301 601 311 608S337 618 358 618C432 618 480 575 480 485Z" id="g113-83"></path></g><g transform="matrix(.0091,0,0,-0.0091,8.151,-5.741)"><path d="M387 400C387 425 348 451 303 451C247 451 176 414 132 376C69 322 24 228 24 148C24 43 74 -12 147 -12C211 -12 301 33 363 103L346 128C319 99 249 51 193 51C148 51 112 84 112 165C112 230 130 287 154 330C170 359 199 400 243 400C277 400 304 383 326 354C333 345 343 343 354 348C378 360 387 382 387 400Z" id="g50-100"></path></g></svg>.</span></div>

Complexity

fig9

Figure 9

Figure 9: Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations 