|
|
Editor Objektově orientovaných Petriho sítí
Karlubík, Peter ; Rogalewicz, Adam (oponent) ; Kočí, Radek (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a implementací nástroje pro editaci a simulaci Objektově orientovaných Petriho sítí. Nástroj podporuje dva formáty zápisu Objektově orientovaných Petriho sítí, a to PNtalk a PNML. Výsledná aplikace v jazyku Java poskytuje dvě hlavní skupiny funkcionalit - vytvářet, načítat a ukládat sítě v těchto formátech a vzdáleně spolupracovat se simulátorem a s jeho využitím zjistit stav simulace a zobrazit ho. První část práce je věnovaná teorii, v které jsou objasněné koncepty spojené s Objektově orientovanými Petriho sítěmi. Ve druhé části se zabýváme popisem implementace a funkcionality implementovaného nástroje pro editaci OOPN a způsobem propojení nástroje se simulátorem.
|
|
|
Interpret Petriho sítí
Blažek, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá konceptem formalismu Petriho sítí, který umožňuje zkoumat dynamické chování paralelních a nedeterministických systémů. Dále se práce zabývá jeho variantou Objektově orientovaných Petriho sítí (OOPN), jejímž cílem je usnadnit proces modelování systémů objektově orientovaným přístupem. Cílem této diplomové práce je navrhnout vnitřní reprezentaci modelů OOPN vhodnou pro efektivní interpretaci a implementovat překladač z jazyka PNtalk do vnitřní reprezentace. Následně pak navrhnout a realizovat interpret modelů OOPN, který bude umožňovat provádění simulace běhu těchto modelů s tím, že výsledný interpret musí také kromě objektů Petriho sítí umět pracovat i s vybranou podmnožinou objektů z jazyka Java.
|
|
|
Demonstrace vlastností značených grafů
Horák, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce prezentuje problematiku Petriho sítí jakožto modelovacího prostředku. Probrány jsou jejich vlastnosti a dělení na podtřídy, jejichž součástí jsou značené grafy. Cílem práce je analýza stavového prostoru Petriho sítí za účelem zkoumání jejich vlastností. Výsledkem práce je nástroj, který umožní tuto analýzu a případně rozšíří využití Petriho sítí.
|
|
|
Virtuální stroj Petriho sítí
Lapšanský, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Bakalárska práca formálne definuje pojem Objektovo orientované Petriho siete. Práca ďalej navrhuje koncept prekladača a virtuálneho stroja pre Objektovo orientované Petriho siete s využitím jazyk PNTalk. Popisuje implementáciu virtuálneho stroja a prekladača.
|
|
|
Simulační server pro DEVS
Šimara, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Cílem této diplomové práce bylo navrhnout a implementovat simulační server pro DEVS využívající již existujícího systému SmallDEVS. V práci se budeme hlavně zabývat popisem DEVS formalismu, systému SmallDEVS a implementovaného simulačního serveru. Ten poskytuje funkce pro vzdálené vytváření nových DEVS modelů, editování existujících modelů a funkce pro řízení simulace. Navíc server zaznamenává informace o změnách stavu modelu v průběhu simulace, takže je možné zjistit stav modelu v libovolném simulačním čase. To umožňuje následně provádět analýzu těchto dat a získat tak více informací o průběhu simulace, což doposud nebylo možné. V práci je uveden detailní popis komunikačního protokolu popisující komunikaci mezi klientem a serverem. Tento protokol je možné snadno aktualizovat v případě, že do systému SmallDEVS přidáme nějakou novou funkci. K otestování implementovaného simulačního serveru byl vytvořen prototyp klienta, který implementuje tento komunikační protokol a umožňuje uživateli pracovat se systémem SmallDEVS na serveru.
|
|
|
Jazyky Petriho sítí a jejich akceptory
Pavlů, Igor ; Rogalewicz, Adam (oponent) ; Češka, Milan (vedoucí práce)
Tato práce se zabývá P/T Petriho sítěmi a jazyky Petriho sítí. V práci jsou také uvažovány omega-jazyky a jejich vztak k Petriho sítím. Hlavní náplní práce je navržení akceptoru (rozšířené Petriho sítě) některých tříd jazyků Petriho sítí včetně implementace akceptoru těchto tříd jazyků. V práci jsou popsány algoritmy použité při implementaci (rozlišení typu jazyka, automarické vyhodnocení přijetí řetězce, generování řetězců). Na testech je demonstrována správná funkce akceptoru.
|
|
|
Fuzzy Petriho sítě pro expertní systémy
Maksant, Jindřich ; Valenta, Jan (oponent) ; Jirsík, Václav (vedoucí práce)
Tato práce si klade za cíl návrh a praktickou realizaci expertního systému, jehož báze znalostí bude modelovaná fuzzy Petriho sítí. Při návrhu je vycházeno z poznatků teoretického rozboru diagnostického expertního systému a fuzzy Petriho sítí. Tento návrh je pak realizován v programovacím jazyce C#. Jsou popsány funkce programu a provedeny vzorové konzultace při použití různých bází znalostí.
|
|
|
Grafický editor návrhových modelů
Švub, Daniel ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cílem této práce byl návrh a vývoj uživatelsky přívětivého grafického editoru Objektově orientovaných Petriho sítí (OOPN). Pro popis tohoto formalismu je použit jazyk PNtalk, který spojuje Petriho sítě s objektově orientovaným jazykem Smalltalk. Výsledná aplikace má uživatelům umožnit modelování objektů a jejich chování za pomocí OOPN a simulování přímo v editoru.
|
|
|
Internet věcí s uzly na bázi PNVM
Korejtko, Tomáš ; Peringer, Petr (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá problematikou Internet of Things (IoT) a otevřených technologických řešení s tím souvisejících. Konkrétně se zaměřuje na softwarová řešení v oblasti chytrého domu kompatibilní s platformou Raspberry Pi a protokolem MQTT. Dále se práce zabývá studiem Petri Net Virtual Machine (PNVM) a jeho potenciální aplikace v IoT. Cílem práce je navrhnout integraci PNVM v IoT za pomoci existujících prostředků kompatibilních s MQTT a implementovat demonstrační aplikaci pro chytrý dům.
|
|
|
Zlepšení procesu lakovny prostřednictvím prediktivní simulace
Machačová, Simona ; Hromková, Ivana (oponent) ; Videcká, Zdeňka (vedoucí práce)
Tato diplomová práce se zaměřuje na využití simulace k optimalizaci procesů v lakovně. Cílem práce je analyzovat stávající výrobní procesy a navrhnout vylepšení pomocí simulace. V analytické části práce jsou detailně popsány procesy v lakovně, pro popsání logiky procesů v lakovně je využito Petriho sítí. V návrhové části práce je formulován problém a cíle, je představen návrh modelu simulace. V návrhu jsou popsány využité prvky a metody v softwaru Plant Simulation, ve kterém je model vytvořen. Dále jsou simulací podrobeny různé scénáře, které mají za cíl optimalizovat proces lakování a odkladových ploch. Výsledky simulace jsou porovnány s aktuálním stavem lakovny. V závěru práce jsou diskutovány výsledky a navržena doporučení pro optimalizaci procesů v lakovně pomocí simulace. Tato práce přináší nové přístupy k optimalizaci procesů v průmyslové výrobě.
|
host ::
RSS.