[DUS | Cvičenie] 11 - Rozšírené typy hrán

Zhrnutie prednášky

Cvičenie z predmetu Diskrétne udalostné systémy sa venuje rozšíreným typom hrán v Petriho sieťach, nadväzujúc na tému preberanú na prednáške. Vyučujúci najprv informuje o organizačných záležitostiach – termíne druhej zápočtovej písomky v 13. týždni a jej obsahu (P-invarianty, T-invarianty, rozšírené hrany, syntéza, prípadne workflow siete). Následne sa preberajú štyri typy hrán – obyčajná, read (testovacia), inhibítor a reset hrana, pričom sa vysvetľuje ich odlišné správanie z hľadiska konzumovania značiek a podmienok spustiteľnosti prechodu. Na jednoduchých príkladoch sa ukazuje, ako tieto hrany fungujú samostatne aj v kombinácii pri modelovaní programových konštrukcií s celočíselnými premennými reprezentovanými miestami siete. Spomenutý je aj koncept variabilných váh, ktorému sa venuje záver cvičenia.

• - Organizačné info: druhá zápočtová písomka bude v 13. týždni (útorok), náhradná pravdepodobne vo štvrtok/piatok toho istého týždňa
• - Obsah písomky: P-invarianty, T-invarianty, rozšírené typy hrán, syntéza, prípadne workflow siete
• - Obyčajná hrana konzumuje aj produkuje značky podľa svojej váhy, môže byť len na výstupe ako regulárna
• - Read (testovacia) hrana kontroluje počet značiek ≥ váha, ale žiadne značky nekonzumuje
• - Inhibítor hrana je opakom read hrany – prechod je spustiteľný len ak je počet značiek < váha, umožňuje testovať prázdne miesto
• - Reset hrana je vždy spustiteľná a pri spustení odoberie všetky značky z daného miesta, nemá váhu
• - Nové typy hrán možno kombinovať s obyčajnými hranami aj medzi sebou pri modelovaní zložitejších podmienok spustiteľnosti prechodu

Zhrnutie pripravené s pomocou AI z prepisu videa.