Generování sekvenčních diagramů z modelů Petriho sítí
Loading...
Date
Authors
Beňo, Adam
ORCID
Advisor
Referee
Mark
C
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
Práca sa zaoberá problémom generovania sekvenčných diagramov zo scenárov modelov Objektovo orientovaných Petriho sietí (OOPN). Cieľom je implementovať modul do existujúceho editoru OOPN, ktorý bude umožňovať zobrazovať sekvenčné diagramy z jednotlivých simulačných behov a bude prepojený so simulovaným modelom. Užívateľ tak získa celistvejší pohľad o priebehu simulácie a dokáže lepšie detekovať chyby v modeloch OOPN.
The thesis focuses on the issue of sequence diagram generation from scenarios modelled by object-oriented Petri nets (OOPN). It aims on module implementation into existing OOPN editor which enables showing sequence diagrams from individual simulations and is connected with simulated model. The user thus gets complete overview of the simulation process and is able to detect errors in OOPN models.
The thesis focuses on the issue of sequence diagram generation from scenarios modelled by object-oriented Petri nets (OOPN). It aims on module implementation into existing OOPN editor which enables showing sequence diagrams from individual simulations and is connected with simulated model. The user thus gets complete overview of the simulation process and is able to detect errors in OOPN models.
Description
Citation
BEŇO, A. Generování sekvenčních diagramů 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. Ing. Vladimír Janoušek, Ph.D. (předseda)
doc. Ing. Lukáš Burget, Ph.D. (člen)
prof. Ing. Jan M. Honzík, CSc. (člen)
Ing. Vojtěch Mrázek, Ph.D. (člen)
Ing. Radek Kočí, Ph.D. (člen)
Date of acceptance
2023-06-13
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. Komise se na základě posudku oponenta, hodnocení vedoucího a přednesené prezentace rozhodla práci hodnotit stupněm dobře / C.
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení