545-0123 – Modelování systémů (ModSyst)

Petriho sítě umožňují popisovat řídicí toky a informační závislosti uvnitř modelovaných procesů a systémů formou diskrétních matematických modelů. Právě tvorba matematických modelů a jejich následná simulace pomáhají při řešení složitých rozhodnutí ve fázi návrhu technologických procesů a jejich celků. Předmět seznamuje posluchače s počítačovým modelováním technologických procesů a systémů pomocí moderních prostředků - Petriho sítí, jako účinného nástroje pro analýzu a syntézu serio-paralelních procesů, se schopností srozumitelného vyjádření paralelismu, synchronizace a kauzality událostí. V hodinách cvičení si posluchači osvojí základní terminologii z oblasti Petriho sítí, praktiky návrhu a realizace simulačních modelů systémů a technologických procesů prostřednictvím Petriho sítí, včetně jejich následné analýzy a vyhodnocení. V závěru studenti zpracují semestrální projekt zaměřený na návrh a realizaci jednoduchého modelu systému.

KOCHANÍČKOVÁ, M.: Petriho sítě. [online] Olomouc, 2008, Učební texty, Univerzita Palackého Olomouc. [cit. 2013-06-15]. Dostupné z: http://phoenix.inf.upol.cz/esf/ucebni/petriho_site.pdf.renamed OTTE, L.: Využití Petriho sítí pro tvorbu simulačních modelů horizontální dopravy na uhelných hlubinných dolech. [online] Ostrava, 2009. Disertační práce. VŠB-TU Ostrava: http://homel.vsb.cz/~ott007/Disertace/VPNDisert2009.pdf

DORDA, M.: Úvod do Petriho sítí [online]. Ostrava: VŠB-TU Ostrava [cit. 2013-06-15]. Dostupné z: http://homel.vsb.cz/~dor028/Nekonvencni_metody_1.pdf DORDA, M.: P/T Petriho sítě [online]. Ostrava: VŠB-TU Ostrava [cit. 2013-06-15]. Dostupné z: http://homel.vsb.cz/~dor028/Nekonvencni_metody_2.pdf DORDA, M.: Petriho sítě v CPN Tools [online]. Ostrava: VŠB-TU Ostrava [cit. 2013-06-15]. Dostupné z: http://homel.vsb.cz/~dor028/Nekonvencni_metody_3.pdf ČEŠKA, M.: Petriho sítě. Akad.nakl. CERM, Brno, 1994. ISBN: 8-085-86735-4