|
|
Výukový simulátor v prostředí WebAssembly
Březina, Jaromír ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato bakalářská práce se zaměřuje na problematiku simulace časovaných stochastických Petriho sítí a spojitých blokových schémat pro výukové účely. Výsledná aplikace je tvořena ze dvou dílčích částí. První z nich je jednoduchý grafický editor, jenž poskytuje nástroje pro vytvoření požadovaného modelu ve formě Petriho sítě nebo blokového schématu a vizualizaci výsledků simulace. Grafické uživatelské rozhraní editoru bylo vytvořeno pomocí knihovny React. Druhou část aplikace tvoří simulátor implementovaný v jazyce C++, jenž slouží pro simulaci vytvořeného modelu a je integrován do celého řešení jako WebAssembly modul. Součástí aplikace je i sada 10 příkladů, které slouží jako ukázka jednoduchých modelů vhodných pro výukové účely.
|
|
|
Distributed Systems Simulation
Ďuriš, Anton ; Šeda, Miloš (oponent) ; Matoušek, Radomil (vedoucí práce)
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are increasingly being implemented in applications and computing systems, where their task is to ensure sufficient performance and stability for a large number of its users. When modeling a distributed systems, stochastic behavior of Petri nets is important, which will provide more realistic simulations. Therefore, this thesis focuses mainly on timed Petri nets. The theoretical part of this thesis summarizes distributed systems, their properties, types and available architectures, as well as Petri nets, their representation, types and the principle of an operation. In the practical part, two models were implemented, namely a horizontally scaled web application divided into several services with a distributed database and a large grid computing system, more precisely the BOINC platform with the Folding@home project. Both models were implemented using the PetNetSim library of Python. The goal of this thesis is to perform simulations on the created models for different scenarios of their behavior.
|
|
|
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.
|
|
|
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.
|
|
|
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.