|
|
Internet of Things with PNVM-Based Nodes
Korejtko, Tomáš ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
This thesis focuses on Internet of Things (IoT) and open-source technologies based on it. Specifically aims at software solutions relevant to smart home and compatible with Raspberry Pi platform and MQTT communication protocol. This thesis also focuses on studying Petri Net Virtual Machine (PNVM) and its potential application in IoT. The objective is to design integration of PNVM into IoT with help of existing software means compatible with MQTT and implement a demo application for smart home.
|
|
|
Paint shop Process Improvement through Predictive Simulation
Machačová, Simona ; Hromková, Ivana (referee) ; Videcká, Zdeňka (advisor)
This thesis focuses on the use of simulation to optimise processes in a paint shop. The aim of the thesis is to analyse the existing production processes and suggest improvements using simulation. In the analytical part of the thesis, the processes in the paint shop are described in detail and Petri nets are used to describe the logic of the processes in the paint shop. In the design part of the thesis, the problem and objectives are formulated, and the design of the simulation model is presented. The design describes the elements and methods used in the Plant Simulation software in which the model is created. Furthermore, different scenarios are simulated to optimize the painting process and the deposition areas. The simulation results are compared with the actual state of the paint shop. Finally, the results are discussed and recommendations are proposed to optimize the paint shop processes using simulation. This work presents new approaches to process optimization in industrial manufacturing.
|
|
|
Petri nets in Netlab Tool
Šajdík, Ondrej ; Smrčka, Aleš (referee) ; Rogalewicz, Adam (advisor)
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.
|
|
|
Sequence Diagram Generation from Object-Oriented Petri Nets
Hoffmann, Michael ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This diploma thesis aims to design and implement the mechanism of transformation of Object Oriented Petri Nets (OOPN) models into the form of sequence diagrams, as they are defined in the UML language. The OOPN formalism combines object-oriented language Smalltalk and Petri nets and is described by the PNtalk language. The resulting implementation will become part of the existing editor of Object-oriented Petri nets, where it will be possible to generate a sequence diagram from edited models.
|
|
|
Gridlock Simulation with Petri nets
Dofek, Ondřej ; Šeda, Miloš (referee) ; Dobrovský, Ladislav (advisor)
Traffic jams are a phenomenon that most drivers in big cities have to deal with on a daily basis. In extreme cases, they can lead to the collapse of the entire transport network, when the queue of cars waiting in front of the intersection is so long that it becomes impossible to exit from the previous intersection. This work deals with the simulation of this collapse of the transport network using Petri nets, which have been widely used in recent years for modeling transport networks and are discussed in the theoretical part of this work. The practical part was written in the Python programming language. It was the creation of a library of intersections and their subsequent connection and creation of a network with the help of the PetNetSim library. A user interface was also created to simulate the collapse of the transport network. In this model, some factors that can lead to the collapse of the transport network have been simulated.
|
|
|
Sequence Diagram Generation from Object-Oriented Petri Nets
Beňo, Adam ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
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.
|
|
|
Graphical Editor for Design Models
Švub, Daniel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The target of this thesis was a design and a development of an user friendly graphical editor of Object oriented Petri nets (OOPN). For description of this formalism was used PNtalk language, which combines Petri nets with the object oriented language Smalltalk. The resulting application should allow users to design object and their behaviour via OOPN and simulate directly in the editor.
|
|
|
Educational Simulator in WebAssembly Environment
Březina, Jaromír ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This bachelor thesis focuses on the issue of simulation of timed stochastic Petri nets and continuous block diagrams for educational purposes. The resulting application consists of two sub-parts. The first is a simple graphical editor that provides tools to create the desired model in the form of a Petri net or block diagram and visualize the simulation results. The graphical user interface of the editor was created using the React library. The second part of the application consists of a simulator implemented in C++, which is used to simulate the created model and is integrated into the entire solution as a WebAssembly module. The application also includes a set of 10 examples that serve as a demonstration of simple models suitable for educational purposes.
|
|
|
Simulation and traffic control using Petri nets
Zbranek, Matyáš ; Holoubek, Tomáš (referee) ; Dobrovský, Ladislav (advisor)
This bachelor thesis deals with the modelling, simulation and control of a real traffic light intersection using Petri nets. Nowadays, when many people own a car, road traffic and time spent on the road becomes an important part of life. Intersections are often critical places where traffic slows down or even stops. The theoretical part introduces Petri nets, some traffic management systems and studies that have solved traffic situations using Petri nets. The practical part relies on traffic measurements at the intersection. The traffic light model, car clearance and the model of the whole intersection are described. In order to make the traffic in the simulation as close as possible to the real behaviour, stochastically timed Petri nets are used. Furthermore, possible control sequences are proposed and simulated with different traffic volumes. Finally, all data are evaluated and the designs are compared. The PetNetSim library editor was used to generate the models.
|
|
|
Comparison of Tools for Modeling and Development of Process Oriented Applications
Spišák, Samuel ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
Thesis deals with the comparison of tools for modeling, development and deployment of process-oriented applications. Three tools with a similar approach to the design and development of these applications were selected for comparison. The tools I chose are developed in companies Netgrif, Camunda and Bonitasoft. Main goal of this thesis was to separately develop an application with identical functionality and to describe the development process. Based on acquired experience, thesis summarizes strengths and weaknesses in the approach chosen compared tools. After reading this thesis, the reader should be able to get an idea of the development methods specific to each tool and to choose from compared tools, if interested in creating a process oriented application himself, the one most suitable for his needs.
|
guest ::
