Název:
Generování sekvenčních diagramů z modelů Petriho sítí
Překlad názvu:
Sequence Diagram Generation from Object-Oriented Petri Nets
Autoři:
Beňo, Adam ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2023
Jazyk:
slo
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [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.
Klíčová slova:
Java; JavaFX; MVC; Object-oriented Petri nets; OOPN; Petri nets; PNtalk; sequence diagrams; UML
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/211156