|
|
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.
|
|
|
Distributed Systems Simulation
Ďuriš, Anton ; Šeda, Miloš (referee) ; Matoušek, Radomil (advisor)
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 of Object Oriented Petri Nets
Karlubík, Peter ; Rogalewicz, Adam (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with the design and implementation of the tool, which allows to edit and simulate Object oriented Petri nets. It supports two formats of Object oriented Petri nets, PNtalk and Petri Net Markup Language. The final tool implemented in Java programming language allows to create, save and load Petri nets in these formats, as well as to remotely cooperate with the simulator and display the simulation state. The first part of this thesis is devoted to theory. Concepts associated with Object oriented Petri nets are explained in the first part. The second part describes the implementation and functionality of the implemented editing tool and the process of connecting the editor with the simulator.
|
|
|
Interpreter of Petri Nets Formalism
Blažek, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the concept of the formalism of Petri nets, which allows to investigate the dynamic behavior of parallel and nondeterministic systems. Furthermore, this deals with its variant of Object-Oriented Petri Nets (OOPN), which aims to facilitate the process of modeling systems with an object-oriented approach. The aim of this master thesis is to design an internal representation of OOPN models, which is suitable for efficient interpretation and implement compiler from PNtalk language into the internal representation. Subsequently, design and implement an OOPN model interpreter using this internal representation of models, which in addition to Petri net objects, must also be able to work with a selected subset of objects from the Java language.
|
|
|
Demonstration of Marked Graphs Features
Horák, Michal ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This thesis presents Petri nets as a modelling tool, defines their features and subclasses, including marked graphs. The goal of this paper is to inspect the features of Petri nets by analyzing their state space. As the output of this thesis, a tool for analyzing the features will be designed and implemented, with potential to extend the usability of Petri nets.
|
|
|
Petri Nets Virtual Machine
Lapšanský, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis formally defines the Object Oriented Petri Nets. Then it designs concept of compilator and virtual machine for Object Oriented Petri Nets using PNTalk language. It uses PNTalk language. It describes implementation of virtual machine and compiler.
|
|
|
Petri Net Languages and Their Acceptors
Pavlů, Igor ; Rogalewicz, Adam (referee) ; Češka, Milan (advisor)
In this document P/T Petri nets and Petri nets languages are described. In this document omega-languages and relationship of omega-languages and Petri nets is also described. Main focus is set on design of acceptor (extended Petri net) of some classes of Petri nets languages and implementation of acceptor of this classes. Algorithms (recognition of language type, automatical accepting of string, strings generating) used in implementation of acceptor are described. Correct function of acceptor is demonstrated on tests.
|
|
|
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.
|
|
|
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.
|
guest ::
