[DUS | Prednáška] 10 - Read, Inhibitor a Reset Hrany

Zhrnutie prednášky

Prednáška nadväzuje na teóriu Petriho sietí a venuje sa praktickému modelovaniu troch rozšírených typov hrán – reset, read a inhibítorovej hrany – priamo v prostredí modelera. Vysvetľuje sa sémantika reset hrany, ktorá pri spustení prechodu vynuluje všetky značky v mieste, pričom sa zdôrazňuje princíp „najprv konzumuj, potom produkuj“ a interakcia reset hrany s klasickými hranami s váhou. Následne sa demonštruje read hrana, ktorá iba testuje prítomnosť (prípadne presný počet) značiek bez ich konzumácie, a rozoberá sa jej rozdiel od kombinácie klasických hrán typu vezmi-a-vráť, ktorý sa prejaví až pri nesekvenčnej sémantike s viacerými nezávislými procesormi. Prednáška je označená ako posledná obsahová, ďalšie budú venované opakovaniu pred zápočtovou písomkou.

• - Reset, read a inhibítorová hrana sú bežné rozšírenia klasických Petriho sietí.
• - Reset hrana vedie iba z miesta do prechodu a po spustení prechodu vynuluje značkovanie daného miesta.
• - Sémantika spustenia prechodu je 'najprv konzumuj, potom produkuj', čo ovplyvňuje kombináciu reset hrany s hranami s váhou.
• - Read hrana testuje, či je v mieste dostatok (alebo presne určený počet) značiek, bez ich odobratia.
• - Rozdiel medzi read hranou a kombináciou 'zober a vráť' sa prejaví len pri nesekvenčnej sémantike s viacerými nezávislými procesormi.
• - Set hrana sa dá simulovať kombináciou reset hrany a produkčnej hrany, preto sa samostatne nedefinuje.
• - Prednáška je poslednou obsahovou, nasledujúce hodiny budú zamerané na opakovanie pred druhou zápočtovou písomkou.

Zhrnutie pripravené s pomocou AI z prepisu videa.