Detail práce

Generování kódu z modelů Petriho sítí

Bakalářská práce Student: Fryč Tomáš Akademický rok: 2018/2019 Vedoucí: Kočí Radek, Ing., Ph.D.
Název anglicky
Code Generation from Object Oriented Petri Nets
Jazyk práce
český
Abstrakt

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é.

Klíčová slova

generátor kódu, objektově orientové Petriho sítě, PNtalk, transformace, překladač jazyka, simulátor

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
13. června 2019
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. Komise se na základě posudku oponenta, hodnocení vedoucího a přednesené prezentace rozhodla práci hodnotit stupněm A.

Komise
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), předseda
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
Citace
FRYČ, Tomáš. Generování kódu z modelů Petriho sítí. Brno, 2019. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2019-06-13. Vedoucí práce Kočí Radek. Dostupné z: https://www.fit.vut.cz/study/thesis/21446/
BibTeX 
@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/"
}

Závěrečné práce

Nahoru