Thesis Details
Virtuální stroj pro Objektově orientované Petriho sítě
Master's Thesis
Student: Sitarčík Ľuboš
Academic Year: 2014/2015
Supervisor: Kočí Radek, Ing., Ph.D.
English title
Object Oriented Petri Nets Virtual Machine
Language
Czech
Abstract
This diploma thesis formally defines the Object Oriented Petri Nets and presents term a virtual machine. Then it introduces the concept of Object Oriented Petri Nets Virtual Machine. Finally, project describes a procedure for implementation of the OOPN Virtual Machine.
Keywords
Petri Nets, Object Oriented Petri Nets, Virtual Machine, PNTalk.
Department
Degree Programme
Information Technology, Field of Study
Computer Networks and Communication
Files
Status
defended, grade E
Date
25 June 2015
Reviewer
Committee
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT), předseda
Fučík Otto, doc. Dr. Ing. (DCSY FIT BUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), člen
Jaroš Jiří, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT), člen
Racek Stanislav, doc. Ing., CSc. (WBU in Pilsen), člen
Fučík Otto, doc. Dr. Ing. (DCSY FIT BUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), člen
Jaroš Jiří, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT), člen
Racek Stanislav, doc. Ing., CSc. (WBU in Pilsen), člen
Citation
SITARČÍK, Ľuboš. Virtuální stroj pro Objektově orientované Petriho sítě. Brno, 2015. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2015-06-25. Supervised by Kočí Radek. Available from: https://www.fit.vut.cz/study/thesis/3013/
BibTeX
@mastersthesis{FITMT3013, author = "\'{L}ubo\v{s} Sitar\v{c}\'{i}k", type = "Master's thesis", title = "Virtu\'{a}ln\'{i} stroj pro Objektov\v{e} orientovan\'{e} Petriho s\'{i}t\v{e}", school = "Brno University of Technology, Faculty of Information Technology", year = 2015, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/3013/" }