|
|
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.
|
|
|
Porovnání nástrojů pro modelování a vývoj procesně orientovaných aplikací
Spišák, Samuel ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práca sa zaoberá porovnaním nástrojou na modelovanie, vývoj a nasadenie procesne orientovaných aplikácií, ktoré ponúkajú spoločnosti Camunda, Bonitasoft a Netgrif. Hlavná časť práce patrí opisu spôsobu vývoja aplikácie navhrnutej na demoštračné účely, ktorá bola vyvinutá v každom nástroji zvlášť. Na základe získaných skúseností z návrhu a implementácie aplikácie v jednotlivých nástrojoch, sú v poslednej kapitole práce zosumarizované ich silné a slabé stránky. Po prečítaní práce by mal mať čitateľ vytvorenú predstavu o spôsobe vývoja v jednotlivých nástrojoch a v prípade záujmu o vytvorenie vlastnej procesne orientovanej aplikácie by mu mala práca pomôcť určiť z porovnávaných nástrojov ten, ktorý by bol na jej implementáciu najvhodnejší.
|
|
|
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.
|
host ::
RSS.