Thesis Details
Virtuální stroj Petriho sítí
Bachelor's Thesis
Student: Lapšanský Tomáš
Academic Year: 2018/2019
Supervisor: Kočí Radek, Ing., Ph.D.
English title
Petri Nets Virtual Machine
Language
Czech
Abstract
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.
Keywords
Petri Nets, Object Oriented Petri Nets, Virtual Machine, Compilator, PNTalk.
Department
Degree Programme
Information Technology
Files
Status
defended, grade D
Date
10 June 2019
Reviewer
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Honzík Jan M., prof. Ing., CSc. (DIFS FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Honzík Jan M., prof. Ing., CSc. (DIFS FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Citation
LAPŠANSKÝ, Tomáš. Virtuální stroj Petriho sítí. Brno, 2019. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-10. Supervised by Kočí Radek. Available from: https://www.fit.vut.cz/study/thesis/21442/
BibTeX
@bachelorsthesis{FITBT21442,
author = "Tom\'{a}\v{s} Lap\v{s}ansk\'{y}",
type = "Bachelor's thesis",
title = "Virtu\'{a}ln\'{i} stroj Petriho s\'{i}t\'{i}",
school = "Brno University of Technology, Faculty of Information Technology",
year = 2019,
location = "Brno, CZ",
language = "czech",
url = "https://www.fit.vut.cz/study/thesis/21442/"
}