Detail práce
Virtuální stroj pro Objektově orientované Petriho sítě
Název anglicky
Object Oriented Petri Nets Virtual Machine
Jazyk práce
český
Abstrakt
Diplomová práce formálne definuje Objektovo orientované Petriho síte a představuje pojem virtuální stroj. Pak práce představuje koncept virtuálního stroje pro Objektovo orientované Petriho síte. Nakonec je v práci popsána implementace virtuálního stroje pro OOPN.
Klíčová slova
Petriho síte, Objektovo orientované Petriho síte, Virtuální stroj, PNTalk.
Ústav
Studijní program
Informační technologie, obor
Počítačové sítě a komunikace
Soubory
Stav
obhájeno, hodnocení E
Obhajoba
25. června 2015
Oponent
Průběh obhajoby
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky
přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm "E".
Komise
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT), předseda
Fučík Otto, doc. Dr. Ing. (UPSY FIT VUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), člen
Jaroš Jiří, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT), člen
Racek Stanislav, doc. Ing., CSc. (ZČU v Plzni), člen
Fučík Otto, doc. Dr. Ing. (UPSY FIT VUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), člen
Jaroš Jiří, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT), člen
Racek Stanislav, doc. Ing., CSc. (ZČU v Plzni), člen
Citace
SITARČÍK, Ľuboš. Virtuální stroj pro Objektově orientované Petriho sítě. Brno, 2015. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2015-06-25. Vedoucí práce Kočí Radek. Dostupné z: https://www.fit.vut.cz/study/thesis/3013/
BibTeX
@mastersthesis{FITMT3013, author = "\'{L}ubo\v{s} Sitar\v{c}\'{i}k", type = "Diplomov\'{a} pr\'{a}ce", title = "Virtu\'{a}ln\'{i} stroj pro Objektov\v{e} orientovan\'{e} Petriho s\'{i}t\v{e}", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2015, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/3013/" }