Detail práce

Interpret Petriho sítí

Diplomová práce Student: Blažek Tomáš Akademický rok: 2019/2020 Vedoucí: Kočí Radek, Ing., Ph.D.
Název anglicky
Interpreter of Petri Nets Formalism
Jazyk práce
český
Abstrakt

Tato práce se zabývá konceptem formalismu Petriho sítí, který umožňuje zkoumat dynamické chování paralelních a nedeterministických systémů. Dále se práce zabývá jeho variantou Objektově orientovaných Petriho sítí (OOPN), jejímž cílem je usnadnit proces modelování systémů objektově orientovaným přístupem. Cílem této diplomové práce je navrhnout vnitřní reprezentaci modelů OOPN vhodnou pro efektivní interpretaci a implementovat překladač z jazyka PNtalk do vnitřní reprezentace. Následně pak navrhnout a realizovat interpret modelů OOPN, který bude umožňovat provádění simulace běhu těchto modelů s tím, že výsledný interpret musí také kromě objektů Petriho sítí umět pracovat i s vybranou podmnožinou objektů z jazyka Java.

Klíčová slova

Petriho sítě, Objektově orientované Petriho sítě, Překladač, Interpret, Simulátor

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Informační systémy
Soubory
Stav
obhájeno, hodnocení B
Obhajoba
15. č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 B.

Otázky u obhajoby
  1. Jak byste realizoval oboustranné komunikační propojení interpretu s libovolnými Java objekty? Motivačním príkladem může být realizace serverové části webové aplikace pomocí OOPN.
  2. Jak zpracováváte asynchronní požadavky zvenku do Petriho sítě?
Komise
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT), předseda
Burget Radek, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Grégr Matěj, Ing., Ph.D. (UIFS FIT VUT), člen
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT), člen
Citace
BLAŽEK, Tomáš. Interpret Petriho sítí. Brno, 2020. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2020-07-15. Vedoucí práce Kočí Radek. Dostupné z: https://www.fit.vut.cz/study/thesis/22744/
BibTeX 
@mastersthesis{FITMT22744,
    author = "Tom\'{a}\v{s} Bla\v{z}ek",
    type = "Diplomov\'{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 = "czech",
    url = "https://www.fit.vut.cz/study/thesis/22744/"
}

Závěrečné práce

Nahoru