Reachability Analysis of Low-Order Discrete State Reaction Networks Obeying Conservation Laws

<div>A superconservative d-CRN.<b> 0</b> indicates the zero complex and the numbers denote the indices of the reactions on which they are located. Due to the superconservativity of the network structure, the above d-CRN is unbounded for any initial state <span class="nowrap"><svg height="14.5667pt" id="M620" style="vertical-align:-4.61031pt" version="1.1" viewbox="-0.0498162 -9.95639 49.1304 14.5667" width="49.1304pt" 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="M748 650H522L515 622L546 617C580 611 587 604 565 575C518 513 469 451 419 393C376 474 349 534 330 580C318 609 325 612 361 618L383 622L392 650H151L144 622C214 616 224 612 257 543L360 327C270 218 187 124 159 95C106 40 92 34 26 28L17 0H252L259 28L236 31C189 37 188 47 209 78C249 136 308 210 377 294L478 79C494 44 487 37 449 32L418 28L409 0H673L680 28C596 34 591 39 554 116L436 361C526 469 574 521 604 553C659 612 669 614 739 622L748 650Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.88,3.132)"><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"></path></g><g transform="matrix(.013,0,0,-0.013,18.458,0)"><path d="M448 1V51H364C248 51 153 129 140 230H448V280H140C153 381 248 459 364 459H448V509H365C208 509 80 395 80 255S208 1 365 1H448Z"></path></g><g transform="matrix(.013,0,0,-0.013,28.954,0)"><path d="M677 618V662H100V618H469L50 44V0H668V44H252L677 618ZM617 618L200 44H103L523 618H617Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,38.405,-5.741)"><path d="M504 89L488 119C453 85 428 69 416 69C408 69 405 75 412 102L462 304C492 438 460 451 436 451S388 441 356 423C311 397 229 336 170 256H168L189 340C208 418 200 451 177 451C144 451 82 413 24 352L40 322C65 345 98 369 108 369C114 369 119 363 112 335L28 -3L36 -12C54 -3 83 4 112 10C125 73 138 122 153 174C205 258 328 382 376 382C395 382 399 369 384 305L330 93C312 25 323 -12 351 -12C378 -12 439 21 504 89Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,38.405,3.784)"><path d="M552 293V344L59 566V507L489 319L59 131V72L552 293ZM552 -41V12H59V-41H552Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,43.965,3.784)"><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"></path></g></svg>.</span></div>

Complexity

fig5

Figure 5

Figure 5: Reachability Analysis of Low-Order Discrete State Reaction Networks Obeying Conservation Laws 