[DUS | Prednáška] 2 - Preset, Postset, Spustitelnosť, Dosiahnutelnosť

Zhrnutie prednášky

Nadväzuje sa na predchádzajúci úvod do Petriho sietí a zopakuje sa formálna definícia pomocou piatich prvkov – miesta, prechody, hrany, funkcia váh hrán a počiatočné značkovanie. Podrobne sa vysvetľuje koncept multimnožín ako matematického nástroja na vyjadrenie násobnosti hrán a značiek, pričom sa demonštruje na príkladoch z bežného života (nákup rožkov, žemlí, počet detí v triede). Zdôrazňuje sa rozdiel medzi dvoma prístupmi k multimnožinám – priradením počtu ku kategórii verzus zachovaním identity jednotlivých prvkov. Následne sa zavádzajú kľúčové pojmy preset (•t) a postset (t•) prechodu, definované ako množiny miest prepojených hranou vstupujúcou do prechodu, resp. vystupujúcou z neho, čo sa demonštruje na konkrétnej Petriho sieti s prechodmi T1, T2 a T3.

• - Petriho sieť je formálne definovaná ako pätica (miesta, prechody, hrany, váhy hrán, počiatočné značkovanie)
• - Miesta a prechody sú disjunktné množiny, hrany sú orientované dvojice medzi nimi
• - Multimnožiny slúžia na vyjadrenie násobnosti hrán aj počtu tokenov v miestach
• - Existujú dva prístupy k multimnožinám: priradenie počtu kategórii vs. zachovanie identity jednotlivých prvkov s priradenou kategóriou
• - Preset (•t) prechodu je množina miest, z ktorých vedie hrana do daného prechodu
• - Postset (t•) prechodu je množina miest, do ktorých z daného prechodu vedie hrana
• - Pochopenie matematickej syntaxe je kľúčové pre porozumenie definíciám, preto sa kladie dôraz na intuitívne vysvetlenie konceptov

Zhrnutie pripravené s pomocou AI z prepisu videa.