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
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/"
}
Back to top