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

Zhrnutie prednášky

Cvičenie otvára predmet Diskrétne udalostné systémy organizačnými informáciami o priebehu online cvičení, streamovaní a Discord konzultáciách. Následne sa krátko zopakúvajú základy Petriho sietí preberané na prednáške – ide o bipartitné grafy s dvomi typmi vrcholov, miestami a prechodmi, pričom stav siete je určený rozložením značiek (tokenov) v miestach. Vysvetľuje sa mechanizmus spúšťania prechodov, konzumovania a produkovania značiek, ako aj koncept váh hrán umožňujúci násobné odoberanie či produkovanie tokenov. Hlavnou časťou cvičenia je motivačný príklad modelovania objednávky pizze pomocou Petriho siete, ktorý postupne rozvíja jednoduchý proces na detailnejší model s viacerými krokmi (výber pizze, prílohy, potvrdenie objednávky, príprava, doručenie, prevzatie). Príklad demonštruje praktické využitie Petriho sietí na modelovanie reálnych procesov a pripravuje pôdu na formálnu definíciu a ďalšie výpočtové príklady.

• - Organizačné informácie: cvičenia sú online, streamované a archivované na Twitchi/YouTube, prezenčka nie je povinná.
• - Petriho sieť je bipartitný graf s dvomi typmi vrcholov – miesta (krúžky) a prechody (štvorčeky).
• - Stav siete určuje rozloženie značiek (tokenov) v miestach.
• - Prechod sa môže spustiť, ak má dostatok značiek vo všetkých vstupných miestach; po spustení konzumuje vstupné a produkuje výstupné značky.
• - Váhy hrán (násobnosti) určujú počet konzumovaných alebo produkovaných značiek pri danej hrane.
• - Motivačný príklad objednávky pizze demonštruje modelovanie reálneho procesu pomocou Petriho siete od jednoduchej po detailnejšiu verziu.
• - Na kreslenie Petriho sietí možno použiť online nástroj petriflow.com.

Zhrnutie pripravené s pomocou AI z prepisu videa.