[DUS | Prednáška] 11 - Rozšírené typy hrán

Zhrnutie prednášky

Prednáška nadväzuje na tému Petriho sietí a venuje sa rozšíreným typom hrán nad rámec bežných váhovaných hrán medzi miestom a prechodom. Najprv sa vysvetľuje koncept násobnosti hrán – možnosť mať viacero individuálnych hrán spájajúcich rovnaký pár miesto-prechod, čo sa v kreslítku prejavuje inak než jedna hrana s vyššou váhou, hoci sémanticky ide o súčet váh pri spúšťaní. Následne sa formalizuje všeobecnejšia definícia Petriho siete pomocou funkcií source a target nad množinou hrán, ktorá zabezpečuje, že hrany spájajú len miesta s prechodmi a naopak. Ťažiskom je vysvetlenie read hrany (test hrany) – hrany, ktorá iba testuje prítomnosť dostatočného počtu tokenov v mieste na spustenie prechodu, ale pri spustení tokeny nekonzumuje ani nevracia. Kľúčový rozdiel oproti simulácii testovania pomocou páru hrán (odobrať a hneď vrátiť) sa demonštruje na príklade, kde read hrany umožňujú konkurentné (nezávislé) čítanie viacerými prechodmi naraz, zatiaľ čo klasické hrany by si tokeny navzájom blokovali.</summary_placeholder>

• - Petriho siete môžu mať medzi jedným miestom a prechodom viacero individuálnych hrán (koncept násobnosti hrán)
• - Formálna definícia rozšírenej siete pomocou funkcií source a target nad množinou hrán zabezpečuje striedanie miest a prechodov
• - Read hrana (test hrana) spája iba miesto s prechodom a len testuje, či je v mieste aspoň toľko tokenov, koľko je váha hrany
• - Read hrana pri spustení prechodu tokeny nekonzumuje ani nevracia, iba overuje podmienku
• - Zásadný rozdiel oproti simulácii testovania párom hrán (odobrať a vrátiť) je v možnosti konkurentného, nezávislého čítania
• - Pri testovacích hranách platí princíp maxima (postačuje minimálny počet tokenov pre každú hranu), nie súčtu ako pri klasických hranách
• - Demonštrácia na príklade, kde dva prechody môžu súčasne nezávisle čítať tie isté tokeny bez vzájomného blokovania

Zhrnutie pripravené s pomocou AI z prepisu videa.