Detail práce
Generování kódu z modelů Petriho sítí
Tato práce se zabývá modelováním systémů pomocí Objektově orientovaných Petriho sítí (OOPN) a navržením mechanismu, který tento formalismus transformuje do programovacího jazyka Java. V první části práce je popis Petriho sítí, rozšíření o objektovou orientaci a jazyka PNtalk, který je konkretní implementací OOPN. Další část se zabývá samotným mechanismem, který z modelu zapsaných v jazyku PNtalk vygeneruje ekvivalentní modely v Javě a popisuje způsob simulace takto vygenerovaných modelů. Generátor je koncipiován tak, aby byl snadno rozšiřitelný a vygenerované modely modifikovatelné.
generátor kódu, objektově orientové Petriho sítě, PNtalk, transformace, překladač jazyka, simulátor
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. Komise se na základě posudku oponenta, hodnocení vedoucího a přednesené prezentace rozhodla práci hodnotit stupněm A.
Chudý Peter, doc. Ing., Ph.D. MBA (UPGM FIT VUT), člen
Kekely Lukáš, Ing., Ph.D. (UPSY FIT VUT), člen
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Polčák Libor, Ing., Ph.D. (UIFS FIT VUT), člen
@bachelorsthesis{FITBT21446, author = "Tom\'{a}\v{s} Fry\v{c}", type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce", title = "Generov\'{a}n\'{i} k\'{o}du z model\r{u} 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 = 2019, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/21446/" }