[DUS | Prednáška] 4 - Invarianty

Zhrnutie prednášky

Prednáška nadväzuje na predchádzajúce témy stromu a grafu pokrytia, ohraničenosti, dosiahnuteľnosti a živosti Petriho sietí, pričom najprv stručne rekapituluje jednotlivé úrovne živosti L0 až L4 na konkrétnej sieti. Ťažiskom prednášky je zavedenie stavovej rovnice M' = M + C·X, kde C je incidenčná matica a X vektor udávajúci počet spustení jednotlivých prechodov. Vysvetľuje sa, že existencia nezáporného celočíselného riešenia X je nutnou (nie však postačujúcou) podmienkou dosiahnuteľnosti značkovania M' zo značkovania M, pričom poradie spúšťania prechodov nemá vplyv na výslednú zmenu značkovania, iba počet spustení. Ďalej sa rieši otázka, či pre ľubovoľný vektor X existuje počiatočné značkovanie, z ktorého sa dá zodpovedajúca postupnosť spustiť — odpoveď je áno, stačí zvoliť dostatočný počet značiek podľa vstupnej matice I krát X. Tým sa pripravuje pôda na neskoršie využitie stavovej rovnice pri analýze invariantov siete.

• - Rekapitulácia úrovní živosti L0–L4 na ilustratívnej Petriho sieti.
• - Zavedenie stavovej rovnice M' = M + C·X pomocou incidenčnej matice C.
• - Existencia nezáporného celočíselného riešenia X je nutnou podmienkou dosiahnuteľnosti M' z M.
• - Poradie spúšťania prechodov neovplyvňuje výslednú zmenu značkovania, len počet ich spustení.
• - Ak stavová rovnica nemá riešenie, prechod medzi značkovaniami je štruktúrálne nemožný.
• - Pre ľubovoľný vektor X existuje počiatočné značkovanie umožňujúce jeho realizáciu, ak sa zvolí dostatočný počet značiek podľa vstupnej matice I.
• - Príprava na tému invariantov Petriho siete prostredníctvom stavovej rovnice.

Zhrnutie pripravené s pomocou AI z prepisu videa.