[DUS | Cvičenie] 6 - T-invariant

Zhrnutie prednášky

Cvičenie z predmetu Diskrétne udalostné systémy sa najprv venuje spätnej väzbe k zápočtovej písomke, kde boli hodnotené hlavne chyby v konštrukcii Petriho sietí a incidenčných matíc – nesprávne orientované hrany, chýbajúce váhy či počiatočné značkovanie, zámena vstupnej a výstupnej matice, alebo použitie nesprávneho vzorca pri overovaní nutnej podmienky dosiahnuteľnosti oproti podmienke spustiteľnosti prechodu. Vyučujúci vysvetľujú, prečo boli pri hodnotení matíc prísni, keďže ich správnosť je základom pre všetky ďalšie výpočty v predmete. Následne sa pozornosť presúva na hlavnú tému cvičenia – výpočet t-invariantov Petriho sietí, ktoré boli preberané na prednáške pred niekoľkými týždňami. Súčasťou je aj praktická ukážka určovania živosti prechodov v konkrétnej Petriho sieti pomocou prekreslenia siete a analýzy dosiahnuteľných značkovaní.

• - Rozbor typických chýb zo zápočtovej písomky (nesprávne hrany, chýbajúce váhy a počiatočné značkovanie)
• - Dôraz na bezchybnú konštrukciu vstupnej, výstupnej a incidenčnej matice ako základ ďalších výpočtov
• - Rozdiel medzi stavovou rovnicou (nutná podmienka dosiahnuteľnosti) a nerovnicou pre podmienku spustiteľnosti prechodu
• - Vysvetlenie bodovania – body za vzorec aj za správny výsledok, previazanosť chýb medzi úlohami
• - Časté problémy pri určovaní živosti prechodov v Petriho sieťach
• - Praktická demonštrácia analýzy živosti prostredníctvom prekreslenia a simulácie siete v modeleri
• - Úvod do hlavnej témy cvičenia – výpočet t-invariantov Petriho sietí

Zhrnutie pripravené s pomocou AI z prepisu videa.