|
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ě.
|
|
Petri nets in Netlab Tool
Šajdík, Ondrej ; Smrčka, Aleš (oponent) ; Rogalewicz, Adam (vedoucí práce)
The aim of this work is to support the continuation of the Netlab tool's development and to simplify its extension. Netlab is a desktop application that allows for the modeling of systems in the form of Petri nets using a graphical editor, and subsequently performs model checking analyses on the created model. Within the scope of this work, the concepts of model checking, Petri nets, and available analyses within the application were examined. The application had not been developed for an extended period, resulting in significant obstacles for further improvements. These issues are addressed and resolved throughout the course of this work. Another goal is to enable users of the application to execute a reverse analysis algorithm on the created model, which has been implemented, thereby demonstrating extensibility and potential for future development.
|
|
Generování sekvenčních diagramů z modelů Petriho sítí
Hoffmann, Michael ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cílem této diplomové práce je návrh a následná implementace mechanismu transformace modelů Objektově orientovaných Petriho sítí (OOPN) do podoby sekvenčních diagramů tak, jak jsou definovány v jazyce UML. Pro popis formalismu OOPN je zde použit jazyk PNTalk. Který propojuje objektově orientovaný jazyk Smalltalk a Petriho sítě. Výsledná implementace se stane součástí stávajícího editoru Objektově orientovaných Petriho sítí, kde bude možné vygenerovat sekvenční diagram z editovaného modelu sítě.
|
|
Simulace kolapsu dopravní sítě s Petriho sítěmi
Dofek, Ondřej ; Šeda, Miloš (oponent) ; Dobrovský, Ladislav (vedoucí práce)
Dopravní zácpy jsou jevem, s nímž se každodenně musí potýkat většina řidičů ve velkých městech. V krajních případech mohou vést ke kolapsu celé dopravní sítě, když je kolona aut čekající před křižovatkou tak dlouhá, že znemožní výjezd z předchozí křižovatky. Tato práce se zabývá simulací tohoto kolapsu dopravní sítě pomocí Petriho sítí, které jsou v posledních letech hojně využívané pro modelování dopravních sítí a jsou posané v teoretické části této práce. V praktické část byla psaná v programovacím jazyce Python. Jednalo se vytvoření knihovny křižovatek a jejich následné propojení a vytvoření sítě za pomoci knihovny PetNetSim. Bylo vytvořeno i uživatelské rozhraní pro simulaci kolapsu dopravní sítě. V tomto modelu byly simulovány některé faktory, které mohou vést ke kolapsu dopravní sítě.
|
|
Sequence Diagram Generation from Object-Oriented Petri Nets
Beňo, Adam ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
The thesis focuses on the issue of sequence diagram generation from scenarios modelled by object-oriented Petri nets (OOPN). It aims on module implementation into existing OOPN editor which enables showing sequence diagrams from individual simulations and is connected with simulated model. The user thus gets complete overview of the simulation process and is able to detect errors in OOPN models.
|
|
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.
|
|
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.
|
|
Simulace a řízení silničního provozu pomocí Petriho sítí
Zbranek, Matyáš ; Holoubek, Tomáš (oponent) ; Dobrovský, Ladislav (vedoucí práce)
Tato bakalářská práce se zabývá modelováním, simulováním a řízením reálné světelné křižovatky pomocí Petriho sítí. V dnešní době, kdy mnoho lidí vlastní automobil, se silniční provoz a čas strávený na cestách stává důležitou součástí života. Křižovatky jsou často kritickými místy, kde se provoz zpomaluje, případně i zastavuje. V teoretické části jsou představeny Petriho sítě, některé systémy řízení provozu a studie, které řešily dopravní situace pomocí Petriho sítí. Praktická část se opírá o měření provozu na křižovatce. Je popsán model semaforu, odbavování automobilů a model celé křižovatky. Aby byl provoz v simulaci co nejblíže reálnému chování, jsou použity stochasticky časované Petriho sítě. Dále jsou navrženy možné sekvence řízení a provedeny jejich simulace s odlišnými intenzitami provozu. Nakonec jsou všechna data vyhodnocena a návrhy porovnány. Pro vytváření modelů byl použit editor knihovny PetNetSim.
|