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

but.committeedoc. 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)cs
but.defenceStudent 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.cs
but.jazykslovenština (Slovak)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorKočí, Radeksk
dc.contributor.authorFrlička, Eduardsk
dc.contributor.refereeJanoušek, Vladimírsk
dc.date.created2023cs
dc.description.abstractPNtalk 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.sk
dc.description.abstractPNtalk 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.en
dc.description.markEcs
dc.identifier.citationFRLIČ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.cs
dc.identifier.other144765cs
dc.identifier.urihttp://hdl.handle.net/11012/213745
dc.language.isoskcs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectPetriho sietesk
dc.subjectPNtalksk
dc.subjectC++sk
dc.subjectgenerátor kódusk
dc.subjectprekladačsk
dc.subjectPetri networksen
dc.subjectPNtalken
dc.subjectC++en
dc.subjectcode generatoren
dc.subjectcompileren
dc.titleGenerování kódu z modelů Petriho sítísk
dc.title.alternativeCode Generation from Object Oriented Petri Netsen
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.dateAccepted2023-08-21cs
dcterms.modified2023-08-21-10:01:51cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid144765en
sync.item.dbtypeZPen
sync.item.insts2025.03.18 21:00:36en
sync.item.modts2025.01.16 00:18:51en
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs
Files
Original bundle
Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
final-thesis.pdf
Size:
996.89 KB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Loading...
Thumbnail Image
Name:
review_144765.html
Size:
8.93 KB
Format:
Hypertext Markup Language
Description:
file review_144765.html
Collections