Original title:
Generování sekvenčních diagramů z modelů Petriho sítí
Translated title:
Sequence Diagram Generation from Object-Oriented Petri Nets
Authors:
Beňo, Adam ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor) Document type: Bachelor's theses
Year:
2023
Language:
slo Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[slo][eng]
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.
Keywords:
Java; JavaFX; MVC; Object-oriented Petri nets; OOPN; Petri nets; PNtalk; sequence diagrams; UML
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/211156