Detail práce

Interpret vysokoúrovňových Petriho sítí v Pythonu

Bakalářská práce Student: Grigorev Danil Akademický rok: 2018/2019 Vedoucí: Janoušek Vladimír, doc. Ing., Ph.D.
Název anglicky
High-Level Petri Nets Interpreter in Python
Jazyk práce
český
Abstrakt

Tato práce je zaměřená na implementací interpretu vysokoúrovňových Petriho sítí v jayzcePython za použítí knihovny SNAKES. Je schopná provadění a pokročilé vizualizace navyřenýchsítí, které jsou popsané v jayzce Python. Vysledný simulator odpovidá zasadům distribuo-vaného systému, a podporuje provádí v realném čase. Konečný užívatel bude mít příležitostvyzkoušet intuitivní API pro vytvoření a spouštění vysokoúrovňových Petriho sítí.

Klíčová slova

Petriho síť, Python, HLPN, simulace, simulator, topení, interpret, real-time, SNAKES, graf

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení B
Obhajoba
13. června 2019
Oponent
Kočí Radek, 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. U definic Petriho sítí uvádíte netradiční notaci, např. průsek a spojení místo průnik a sjednocení množin. Mimo jiné uvádíte podmínku pro množiny míst P a přechodů T: P spojení T je prázdná množina, tj. množiny P a T jsou prázdné. Vysvětlete vámi zvolenou notaci.
  2. Stručně popište vlastnosti navrženého simulátoru z pohledu tvorby modelů distribuovaných řídicích systémů.
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
GRIGOREV, Danil. Interpret vysokoúrovňových Petriho sítí v Pythonu. Brno, 2019. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2019-06-13. Vedoucí práce Janoušek Vladimír. Dostupné z: https://www.fit.vut.cz/study/thesis/21634/
BibTeX 
@bachelorsthesis{FITBT21634,
    author = "Danil Grigorev",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Interpret vysoko\'{u}rov\v{n}ov\'{y}ch Petriho s\'{i}t\'{i} v Pythonu",
    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/21634/"
}

Závěrečné práce

Nahoru