Thesis Details

Interpret Petriho sítí

Bachelor's Thesis Student: Šajdík Ondrej Academic Year: 2019/2020 Supervisor: Kočí Radek, Ing., Ph.D.
Language
Slovak
Abstract

The goal of bachelor thesis was to create tool which would be able to interpret Object-oriented Petri nets.  In theoretical part was researched Petri nets, its simple extensions, Object-oriented Petri nets and modeling in language PNtalk. In practical part of thesis was designed and implemented tool for loading model defined in language PNtalk into inner representation and executing its dynamics. In the end was created set of automated tests for quality assurance and group of models for demonstration of interpret features.

Keywords

Petri nets, Object-oriented Petri nets, PNtalk, Interpret

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
9 July 2020
Reviewer
Janoušek Vladimír, doc. Ing., Ph.D.
Committee
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT), předseda
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT), člen
Rychlý Marek, RNDr., Ph.D. (DIFS FIT BUT), člen
Citation
ŠAJDÍK, Ondrej. Interpret Petriho sítí. Brno, 2020. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2020-07-09. Supervised by Kočí Radek. Available from: https://www.fit.vut.cz/study/thesis/21445/
BibTeX 
@bachelorsthesis{FITBT21445,
    author = "Ondrej \v{S}ajd\'{i}k",
    type = "Bachelor's thesis",
    title = "Interpret Petriho s\'{i}t\'{i}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2020,
    location = "Brno, CZ",
    language = "slovak",
    url = "https://www.fit.vut.cz/study/thesis/21445/"
}

Theses

Back to top