Interpret Petriho sítí
Loading...
Date
Authors
Šajdík, Ondrej
ORCID
Advisor
Referee
Mark
C
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
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.
The goal of bachelor thesis was to create tool which would be able to interpret Object-oriented Petri nets. In theoretical part was researched Petri nets, its simple extensions, Object-oriented Petri nets and modeling in language PNtalk. In practical part of thesis was designed and implemented tool for loading model defined in language PNtalk into inner representation and executing its dynamics. In the end was created set of automated tests for quality assurance and group of models for demonstration of interpret features.
The goal of bachelor thesis was to create tool which would be able to interpret Object-oriented Petri nets. In theoretical part was researched Petri nets, its simple extensions, Object-oriented Petri nets and modeling in language PNtalk. In practical part of thesis was designed and implemented tool for loading model defined in language PNtalk into inner representation and executing its dynamics. In the end was created set of automated tests for quality assurance and group of models for demonstration of interpret features.
Description
Citation
ŠAJDÍK, O. Interpret Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.
Document type
Document version
Date of access to the full text
Language of document
sk
Study field
Informační technologie
Comittee
doc. Dr. Ing. Dušan Kolář (předseda)
doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda)
doc. Ing. Jan Kořenek, Ph.D. (člen)
Ing. Ondřej Lengál, Ph.D. (člen)
RNDr. Marek Rychlý, Ph.D. (člen)
Date of acceptance
2020-07-09
Defence
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?
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení