|
|
Framework for Creation and Verification of Specification Models
Matalík, Štěpán ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis deals with Object Oriented Petri Nets (OOPN) and with developing of tool for creation and verification of specification models. In the first part of the thesis are described formalisms of existing Petri net types, including OOPN. Next part involves in creation of editing tool, that also allows triggering of simulation models on a remote server. Editor output is a graphic diagram of Petri net and also a simulation model described in PNtalk language, which is the implementation of OOPN based on Smalltalk language. Simulation models runs on the server in Pharo Smalltalk enviroment. At the end of the thesis are shown examples of appropriate simulations and possible tool extensions.
|
|
|
Petri nets for expert systems
Million, Pavel ; Pohl, Jan (referee) ; Jirsík, Václav (advisor)
Purpose of this master thesis is description of base parts of expert system with using Petri nets. Attention is mainly concentrate to knowledge base, way of storing knowledge. Next parts are describing main different between production base knowledge for planning or diagnostic expert system from Petri nets view. In this thesis conditions of using Petri nets and way of interpretation knowledge for inference mechanism in planning and diagnostic expert system are described. Using of high level Petri nets and language describing Petri nets structure and behaviour are demonstrated in next part of this thesis.
|
|
|
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.
|
guest ::
