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

Zhrnutie prednášky

Cvičenie je venované P-invariantu Petriho sietí a nadväzuje na predchádzajúce cvičenie o T-invariante. Vyučujúci vysvetľuje, že P-invariant predstavuje priradenie váh miestam siete tak, aby vážená suma tokenov zostávala pri akomkoľvek spustení prechodov konštantná. Zdôrazňuje, že existencia P-invariantu s kladnými celočíselnými koeficientmi je postačujúcou, nie však nutnou podmienkou ohraničenosti siete – sieť môže byť ohraničená aj bez neho, ak sú dosiahnuteľné značkovania inak obmedzené. Následne sa prechádza k praktickému výpočtu pomocou riadkového vektora násobeného incidenčnou maticou zľava, pričom cieľom je nájsť riešenie sústavy rovníc, pri ktorom je výsledná zmena tokenov nulová. Na konkrétnom príklade siete s tromi miestami a tromi prechodmi sa zostavuje incidenčná matica a odvodzuje sústava rovníc pre výpočet P-invariantu.

• - P-invariant priraďuje miestam siete váhy tak, aby vážený súčet tokenov bol pri všetkých dosiahnuteľných značkovaniach konštantný.
• - Existencia P-invariantu s kladnými celočíselnými koeficientmi je postačujúcou podmienkou ohraničenosti siete.
• - P-invariant nie je nutnou podmienkou ohraničenosti – sieť môže byť ohraničená aj bez neho.
• - Ak P-invariant obsahuje nulový prvok, o ohraničenosti siete nemožno rozhodnúť len na základe neho.
• - Výpočet P-invariantu spočíva v násobení riadkového vektora váh incidenčnou maticou zľava, výsledok má byť nulový vektor.
• - Incidenčná matica má riadky reprezentujúce miesta a stĺpce reprezentujúce prechody, hodnoty vyjadrujú zmenu počtu tokenov.
• - Na konkrétnom príklade siete s miestami P1–P3 a prechodmi T1–T3 sa zostavuje sústava rovníc na výpočet P-invariantu.

Zhrnutie pripravené s pomocou AI z prepisu videa.