[DUS | Prednáška] 4 - Živosť, Invarianty

Zhrnutie prednášky

Prednáška nadväzuje na predchádzajúcu tému živosti prechodov v Petriho sieťach, ktorú vyučujúci na žiadosť študentov najprv zopakuje pomocou simulátora — pripomína rozdiely medzi úrovňami L0 až L4 (od mŕtveho prechodu cez konečné a nekonečné spúšťanie až po vždy spustiteľný prechod) a demonštruje ich na konkrétnej sieti s počítadlami prechodov. Následne sa prechádza k novej téme invariantov, kde na príklade siete s viacerými prechodmi ukazuje, že poradie spúšťania niektorých prechodov nemá vplyv na výsledné značkovanie, pretože každý prechod spôsobuje vždy rovnakú zmenu značkovania bez ohľadu na kontext spustenia. Z toho odvodzuje, že návrat do pôvodného (alebo opakovaného) značkovania je možný prostredníctvom ľubovoľnej lineárnej kombinácie vektorov počtu spustení jednotlivých prechodov, čo predstavuje intuitívny základ pojmu invariant miesta.

• - Rekapitulácia úrovní živosti L0 až L4 prechodov v Petriho sieťach
• - L0 = mŕtvy prechod, L1 = spustiteľný aspoň raz, L2 = spustiteľný ľubovoľne veľakrát podľa zadaného K
• - L3 = spustiteľný nekonečne veľakrát (existuje aspoň jedna vetva), L4 = spustiteľný vždy bez ohľadu na vetvu
• - Živosť možno formalizovať viacerými matematicky ekvivalentnými spôsobmi a previesť na dosiahnuteľnosť pomocou pomocných počítadiel prechodov
• - Zavedenie novej témy invariantov prostredníctvom príkladu siete, kde poradie spúšťania niektorých prechodov nemení výsledné značkovanie
• - Kľúčové pozorovanie: každý prechod spôsobuje vždy rovnakú zmenu značkovania bez ohľadu na to, kedy sa spustí
• - Návrat do pôvodného značkovania zodpovedá ľubovoľnej lineárnej kombinácii vektorov počtu spustení prechodov

Zhrnutie pripravené s pomocou AI z prepisu videa.