Thesis Details

Interpret Petriho sítí

Master's Thesis Student: Blažek Tomáš Academic Year: 2019/2020 Supervisor: Kočí Radek, Ing., Ph.D.
English title
Interpreter of Petri Nets Formalism
Language
Czech
Abstract

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.

Keywords

Petri nets, Object oriented Petri nets, Compiler, Interpreter, Simulator

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology, Field of Study Information Systems
Files
Status
defended, grade B
Date
15 July 2020
Reviewer
Janoušek Vladimír, doc. Ing., Ph.D.
Committee
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT), předseda
Burget Radek, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Grégr Matěj, Ing., Ph.D. (DIFS FIT BUT), člen
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Rychlý Marek, RNDr., Ph.D. (DIFS FIT BUT), člen
Citation
BLAŽEK, Tomáš. Interpret Petriho sítí. Brno, 2020. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2020-07-15. Supervised by Kočí Radek. Available from: https://www.fit.vut.cz/study/thesis/22744/
BibTeX 
@mastersthesis{FITMT22744,
    author = "Tom\'{a}\v{s} Bla\v{z}ek",
    type = "Master's thesis",
    title = "Interpret Petriho s\'{i}t\'{i}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2020,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/22744/"
}

Theses

Back to top