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

Zhrnutie prednášky

Prepis sa na začiatku venuje najmä organizačným pokynom k prvej zápočtovej písomke z predmetu Diskrétne udalostné systémy, ktorá sa bude konať online cez Microsoft Teams s povinnou kamerou a odovzdávaním rukou písaných riešení. Vysvetľuje sa priebeh testu, časový harmonogram, dvojjazyčné zadania (slovenčina/angličtina) aj štruktúra hodnotenia vrátane teoretických otázok. Spomínajú sa aj typy príkladov, ktoré možno na písomke očakávať – siete v maticovom aj grafickom tvare, dosiahnuteľnosť, spúšťanie prechodov a určovanie živosti. Na záver organizačnej časti sa preberá aj možná opravná písomka a delenie študentov do skupín. Hlavná časť cvičenia sa následne presúva k téme živosti (liveness) Petriho sietí, ktorá popisuje, ako veľmi sa dokážu prechody v sieti spúšťať, pričom existuje päť úrovní tejto vlastnosti.

• - Budúci týždeň sa koná prvá zápočtová písomka za 20 bodov cez Microsoft Teams so zapnutou kamerou.
• - Riešenia príkladov sa musia odovzdávať ako fotografie rukou písaných na papieri, nie ako screenshoty či XML súbory.
• - Zadania budú dvojjazyčné (slovensko-anglické) vrátane anglickej odbornej terminológie (napr. reachability, coverability, marking, liveness).
• - Obsahom písomky sú témy z prvých štyroch cvičení: definícia siete, prevod medzi grafickým a maticovým tvarom, dosiahnuteľnosť a živosť.
• - Teoretické otázky tvoria približne 20 % bodov (2 body) a sú podmienkou pre získanie hodnotenia A.
• - Opravná zápočtová písomka sa predbežne neplánuje, iba náhradný termín pre objektívne prekážky.
• - Hlavnou témou cvičenia je živosť (liveness) prechodov v Petriho sieťach, ktorá popisuje mieru ich spustiteľnosti a delí sa na päť úrovní.

Zhrnutie pripravené s pomocou AI z prepisu videa.