Generování kódu z modelů Petriho sítí
Loading...
Date
Authors
Frlička, Eduard
ORCID
Advisor
Referee
Mark
E
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
PNtalk je jazyk využívaný na modelovanie objektovo orientovaných petriho sietí. Existujúci simulátor implementovaný v jazyku Smalltak slúži na modelovanie a ladenie, pre nasadenie v praxi, je potrebné reprezentovať tieto modely efektívnejšie. Táto práca sa zaoberá práve tvorbou efektívnejšej reprezentácie, konkrétne transformáciou do jazyku C++. V práci boli riešené problémy paralelného vyhodnocovania petriho sietí, optimalizácie vyhodnocovania prechodov a dynamické typovanie.
PNtalk is a language used for modelling of object-oriented Petri nets. The existing simu- lator implemented in Smalltalk language is used mainly for modelling and debugging. For practical use, however, a more efficient representation of Petri net models is needed. This work presents a C++ representation of object-oriented Petri nets.
PNtalk is a language used for modelling of object-oriented Petri nets. The existing simu- lator implemented in Smalltalk language is used mainly for modelling and debugging. For practical use, however, a more efficient representation of Petri net models is needed. This work presents a C++ representation of object-oriented Petri nets.
Description
Citation
FRLIČKA, E. Generování kódu z modelů Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
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. František Zbořil, Ph.D. (člen)
Ing. Jiří Matoušek, Ph.D. (člen)
Ing. Tomáš Milet, Ph.D. (člen)
Ing. Jiří Hynek, Ph.D. (člen)
Date of acceptance
2023-08-21
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 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 E.
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení