[DUS | Cvičenie] 6 - T-Invariant

Zhrnutie prednášky

Cvičenie sa venuje téme T-invariantov v Petriho sieťach, ktorá nadväzuje na predchádzajúcu prednášku a bude súčasťou druhej zápočtovej písomky. Najprv sú spomenuté organizačné informácie o oprave prvej písomky a dostupnosti vzorových riešení. Hlavná časť sa zaoberá motiváciou skúmania vlastnosti reverzibility Petriho siete, teda schopnosti siete vrátiť sa do už navštíveného stavu, na viacerých príkladoch sietí. Následne sú vysvetlené pojmy nutná a postačujúca podmienka na príkladoch zo štúdia, keďže T-invariant predstavuje nutnú podmienku reverzibility, zatiaľ čo P-invariant (preberaný nasledujúci týždeň) je postačujúcou podmienkou. Vysvetľuje sa, ako splnenie či nesplnenie týchto podmienok umožňuje robiť závery o vlastnostiach siete.

• - Organizačné info: oprava prvej písomky prebieha, vzorové riešenia sú dostupné na stránke predmetu v sekcii materiály
• - Téma cvičenia: T-invarianty a P-invarianty Petriho sietí, súčasť druhej zápočtovej písomky
• - Reverzibilita siete = schopnosť vrátiť sa do už dosiahnutého stavu (zopakovať stav)
• - Na príkladoch sietí sa ukazuje, že reverzibilita nemusí platiť vždy pri každej postupnosti prechodov
• - Vysvetlenie pojmov nutná podmienka a postačujúca podmienka na príkladoch zo štúdia na FEI STU
• - T-invariant je nutnou podmienkou reverzibility – jeho nesplnenie vylučuje reverzibilitu
• - P-invariant (téma budúceho cvičenia) je postačujúcou podmienkou danej vlastnosti siete

Zhrnutie pripravené s pomocou AI z prepisu videa.