Detail práce

Interpret Petriho sítí

Bakalářská práce Student: Šajdík Ondrej Akademický rok: 2019/2020 Vedoucí: Kočí Radek, Ing., Ph.D.
Jazyk práce
slovenský
Abstrakt

Cieľom bakalárskej práce bolo vytvoriť nástroj schopný interpretovať Objektovo orientované Petriho siete. V teoretickej časti boli preskúmané Petriho siete, jeho jednoduché rozšírenia, Objektovo orientované Petriho siete a  modelovanie v jazyku PNtalk. V praktickej časti práce bol navrhnutý a implementovaný nástroj pre načítanie modelu definovaného v jazyku PNtalk do vnútornej reprezentácie a vykonávanie jeho dynamiky. Na záver bola vytvorená sada automatizovaných testov pre zabezpečenie kvality a skupina modelov pre demonštráciu vlastností interpreta.

Klíčová slova

Petriho sieťe, Objektovo orientované Petriho sieťe, PNtalk, Interpret

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
9. července 2020
Oponent
Janoušek Vladimír, doc. Ing., Ph.D.
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 oponenta a na další 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 C.

Otázky u obhajoby

Jak vaše výsledky zapadají do kontextu jiných prací na podobná témata (překlad/interpretace OOPN) a jaké vidíte možnosti využití vašeho interpretu?

Komise
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT), předseda
Chudý Peter, doc. Ing., Ph.D. MBA (UPGM FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT), člen
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT), člen
Citace
ŠAJDÍK, Ondrej. Interpret Petriho sítí. Brno, 2020. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2020-07-09. Vedoucí práce Kočí Radek. Dostupné z: https://www.fit.vut.cz/study/thesis/21445/
BibTeX 
@bachelorsthesis{FITBT21445,
    author = "Ondrej \v{S}ajd\'{i}k",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Interpret Petriho s\'{i}t\'{i}",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2020,
    location = "Brno, CZ",
    language = "slovak",
    url = "https://www.fit.vut.cz/study/thesis/21445/"
}

Závěrečné práce

Nahoru