[DUS | Cvičenie] 7 - P-invariant

Zhrnutie prednášky

Cvičenie začína organizačnými informáciami o bonusovom zadaní, ktoré nadväzuje na syntézu Petriho sietí – študenti budú programovať nástroj na automatické generovanie sústav nerovníc (povolené a zakázané pokračovania) zo zadaných postupností spustiteľných prechodov, s termínom odovzdania okolo druhého zápočtu. Následne sa opakujú pojmy nutná a postačujúca podmienka a ich rozdiel v rozhodovaní o platnosti tvrdení. Podrobne sa pripomína T-invariant ako vektor násobností spúšťania prechodov potrebných na návrat k pôvodnému značkovaniu, počítaný z incidenčnej matice, pričom nenulové riešenie je len nutnou (nie postačujúcou) podmienkou reverzibility siete. Vysvetľuje sa reverzibilita ako schopnosť siete vrátiť sa z dosiahnuteľného značkovania späť do neho spustením neprázdnej postupnosti prechodov, a diskutuje sa jej súvis s ohraničenosťou a živosťou siete na základe otázky z Discordu. Cvičenie má pokračovať ukážkou ďalšej siete a následným prechodom na tému P-invariantov.

• - Bonusové zadanie: naprogramovať generovanie nerovníc zo syntézy Petriho sietí (povolené a zakázané pokračovania).
• - Zadanie bude v Pythone alebo C, termín odovzdania cca do druhého zápočtu (o tri týždne).
• - Nutná podmienka je potrebná, no nie postačujúca pre platnosť tvrdenia; postačujúca podmienka platnosť zaručuje.
• - T-invariant je vektor počtov spustení prechodov zachovávajúci značkovanie, počíta sa z incidenčnej matice.
• - Nenulový T-invariant je len nutnou podmienkou reverzibility siete, nie postačujúcou.
• - Reverzibilita znamená schopnosť vrátiť sa z dosiahnuteľného značkovania späť doň spustením postupnosti prechodov.
• - Diskutovaný je vzťah reverzibility k ohraničenosti a živosti siete na základe otázky z Discordu.

Zhrnutie pripravené s pomocou AI z prepisu videa.