[DUS | Cvičenie] 3 - Graf Dosiahnuteľnosti, Strom pokrytia

Zhrnutie prednášky

Cvičenie sa venuje konštrukcii grafu dosiahnuteľnosti a stromu pokrytia pre Petriho siete v rámci predmetu Diskrétne udalostné systémy. Vysvetľuje sa rozdiel medzi teoretickou dosiahnuteľnosťou značkovania vypočítanou zo sústavy rovníc pomocou incidenčnej matice a skutočnou dosiahnuteľnosťou, ktorá vyžaduje existenciu reálne spustiteľnej postupnosti prechodov. Predstavuje sa základný algoritmus na konštrukciu grafu dosiahnuteľnosti, kde vrcholy predstavujú značkovania a hrany spustenia prechodov, pričom sa upozorňuje, že pri neohraničených sieťach je graf nekonečný a algoritmus nemusí terminovať. Na konkrétnom príklade s Petriho sieťou (2 miesta, 3 prechody, počiatočné značkovanie 3,2) sa krok po kroku demonštruje postup zostrojenia grafu dosiahnuteľnosti pomocou nástroja draw.io. Na záver sa spomína aj rozšírenie algoritmu s ukončovacou podmienkou, ktoré umožňuje rozpoznať neohraničenosť siete bez nutnosti nekonečného výpočtu.

• - Rozdiel medzi teoretickou riešiteľnosťou sústavy rovníc z incidenčnej matice a reálnou dosiahnuteľnosťou značkovania
• - Graf dosiahnuteľnosti: vrcholy = značkovania, hrany = spustenia prechodov
• - Základný algoritmus nemusí terminovať pri neohraničených Petriho sieťach s nekonečným počtom značkovaní
• - Rozšírený algoritmus so zastavovacou podmienkou rozpozná neohraničenosť siete
• - Praktická konštrukcia grafu dosiahnuteľnosti na konkrétnom príklade siete so 2 miestami a 3 prechodmi
• - Organizačné informácie: zápočtová písomka o 2 týždne (5. týždeň) v troch časových termínoch podľa rozvrhu
• - Použitie nástroja draw.io na vizuálnu konštrukciu grafu počas cvičenia

Zhrnutie pripravené s pomocou AI z prepisu videa.