[DUS | Cvičenie] 4 - Živosť, otázky

Zhrnutie prednášky

Cvičenie sa venuje téme živosti prechodov v Petriho sieťach v predmete Diskrétne udalostné systémy. Na úvod sú prebrané organizačné informácie o nadchádzajúcej zápočtovej písomke, jej formáte, obsahu a spôsobe odovzdávania. Následne je stručne zopakovaná teória živosti, ktorá súvisí so spustiteľnosťou prechodov vzhľadom na dosiahnuteľné značkovania siete. Vysvetlené je delenie na úrovne živosti L0 až L4, pričom podrobnejšie je rozobraná najnižšia úroveň L0, kedy prechod nie je spustiteľný v žiadnom dosiahnuteľnom značkovaní. Zvyšok cvičenia je venovaný riešeniu príkladov a odpovediam na otázky študentov.

• - Zápočtová písomka sa bude konať budúci týždeň počas cvičenia (o 8:00, 10:00 alebo 13:00) online cez Google formulár a Microsoft Teams s kamerou.
• - Za písomku je možné získať 20 bodov, na zápočet je potrebných celkovo 20 bodov zo semestra (píšu sa dve písomky).
• - Príklady je potrebné riešiť na papier a odfotiť (nie posielať ako PDF/Word) kvôli autentickosti riešenia.
• - Invarianty nebudú súčasťou prvej zápočtovej písomky, ostatné doteraz prebraté témy áno (živosť, graf dosiahnuteľnosti, strom pokrytia, výpočet incidenčnej matice).
• - Živosť prechodu súvisí so spustiteľnosťou prechodu vo všetkých dosiahnuteľných značkovaniach siete, nie len v počiatočnom.
• - Existuje päť úrovní živosti L0 až L4, pričom L0 znamená, že prechod nie je spustiteľný v žiadnom dosiahnuteľnom značkovaní (tzv. mŕtvy prechod).
• - Riešenia príkladov k živosti budú zverejnené neskôr, aby si študenti mohli vyskúšať príklady sami a získať bonusový bod.

Zhrnutie pripravené s pomocou AI z prepisu videa.