[DUS | Cvičenie] 2 - Preset, Postset, Spustitelnosť, Dosiahnutelnosť

Zhrnutie prednášky

Cvičenie nadväzuje na prednášku a venuje sa alternatívnemu maticovému zápisu Petriho siete pomocou vstupnej matice I a výstupnej matice O, oproti prvému zápisu s množinou hrán a váh. Na konkrétnom príklade sa krok po kroku ukazuje, ako z obrázka Petriho siete zostrojiť matice I a O, pričom riadky reprezentujú miesta a stĺpce prechody, hodnoty udávajú váhy hrán medzi miestami a prechodmi v danom smere. Ďalej sa vysvetľuje počiatočné značkovanie M0, ktoré možno zapísať buď ako multimnožinu (napr. 3P1+2P2), alebo ako vektor (3,2), pričom sa preferuje vektorový zápis. Na záver cvičenia sa postup obracia — z danej vstupnej a výstupnej matice sa spätne konštruuje graficky Petriho sieť, čím sa demonštruje ekvivalencia oboch reprezentácií.

• - Alternatívny maticový zápis Petriho siete pomocou matíc I (vstupná) a O (výstupná).
• - Riadky matíc zodpovedajú miestam, stĺpce prechodom.
• - Matica I udáva, koľko značiek daný prechod konzumuje z daného miesta.
• - Matica O udáva, koľko značiek daný prechod produkuje do daného miesta.
• - Hodnoty v maticiach sú vždy prirodzené čísla (nezáporné celé).
• - Počiatočné značkovanie možno zapísať ako multimnožinu alebo ako vektor podľa poradia miest.
• - Demonštrácia spätnej konštrukcie Petriho siete z matíc I, O a M0.

Zhrnutie pripravené s pomocou AI z prepisu videa.