[DUS | Cvičenie] 1 - Úvod, Definícia Petriho Sietí, príklady

Zhrnutie prednášky

Cvičenie začína organizačnými informáciami k predmetu Diskrétne udalostné systémy: pravidlá dochádzky, priebeh dvoch zápočtových písomiek za 20 bodov (potrebných minimálne 20 bodov na zápočet), spôsob ich odovzdávania cez Google formulár a Google Meet, dvojjazyčné zadania a dostupnosť materiálov na stránke predmetu a YouTube kanáli. Následne sa preberá základná definícia Petriho siete ako stavového automatu zloženého z miest (kružiek) reprezentujúcich stavové premenné a prechodov (štvorčekov), ktoré určujú, kedy a ako sa stav systému mení. Na simulačnom nástroji sa demonštruje, ako sa značky (tokeny) presúvajú medzi miestami pri spúšťaní prechodov a ako sa tým mení stav systému. Nastieňujú sa aj témy, ktorým sa bude venovať zvyšok semestra, ako dosiahnuteľnosť stavov, existencia nekonečných postupností spustení či cyklickosť v sieti.

• - Organizačné informácie: dve zápočtové písomky po 20 bodov, minimum 20 bodov na zápočet
• - Povinná účasť na cvičeniach, možnosť sledovania záznamu, potvrdenie cez Google formulár
• - Materiály k predmetu a záznamy z minulých rokov dostupné na stránke predmetu a YouTube
• - Petriho sieť tvoria miesta (stavové premenné so značkami) a prechody (menia stav systému)
• - Prechod sa spustí, ak sú splnené podmienky na všetkých jeho vstupných hranách
• - Simulačný nástroj umožňuje dynamicky sledovať zmeny stavu Petriho siete pri spúšťaní prechodov
• - V semestri sa bude riešiť matematická formalizácia sietí a analýza vlastností ako dosiahnuteľnosť stavov a cykly

Zhrnutie pripravené s pomocou AI z prepisu videa.