Detail práce

Virtuální stroj pro Objektově orientované Petriho sítě

Diplomová práce Student: Sitarčík Ľuboš Akademický rok: 2014/2015 Vedoucí: Kočí Radek, Ing., Ph.D.
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
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/"
}
Nahoru