[DUS | Cvičenie] 2 - Preset, Postset, Spustitelnosť, príklady

Zhrnutie prednášky

Cvičenie sa venuje alternatívnej definícii Petriho siete pomocou vstupnej a výstupnej matice namiesto množiny hrán a váhovej funkcie. Na konkrétnych príkladoch sa ukazuje, ako sa zostavujú tieto matice z grafického zobrazenia siete (riadky reprezentujú miesta, stĺpce prechody) a ako sa naopak zo zápisu s maticami dá spätne nakresliť Petriho sieť. Riešia sa aj prípady, keď zápis nie je platný — napríklad ak rozmery matíc nezodpovedajú počtu miest a prechodov, alebo ak matica obsahuje záporné hodnoty, čo definícia nepripúšťa. Zdôrazňuje sa, že oba spôsoby zápisu (pomocou hrán aj pomocou matíc) sú ekvivalentné a študenti by mali vedieť prevádzať medzi nimi obomi smermi.

• - Predstavenie alternatívnej definície Petriho siete pomocou vstupnej a výstupnej matice
• - Riadky matíc reprezentujú miesta, stĺpce prechody
• - Vstupná matica určuje počet značiek, ktoré prechod konzumuje z miesta
• - Výstupná matica určuje počet značiek, ktoré prechod produkuje do miesta
• - Rozmery matíc musia zodpovedať počtu miest a prechodov v sieti
• - Matice nesmú obsahovať záporné čísla, inak zápis nie je platný
• - Zápis pomocou hrán a zápis pomocou matíc sú vzájomne ekvivalentné a prevoditeľné

Zhrnutie pripravené s pomocou AI z prepisu videa.