Generování sekvenčních diagramů z modelů Petriho sítí

Loading...
Thumbnail Image
Date
ORCID
Mark
D
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
Cílem této bakalářské práce je navrhnout a vytvořit aplikaci, která ve formě sekvenčního diagramu graficky znázorní komunikaci mezi objekty v průběhu simulace objektově orientovaných Petriho sítí (OOPN). Vstupem do aplikace, napsané v jazyce Python s využitím knihovny PyQt, je definice tříd OOPN v jazyce PNtalk. Pro simulaci modelu se využívá simulační server, vytvořený v jazyce SmallTalk. Práce popisuje způsob ovládání serveru a získávání dat z něj, jejich transformaci do podoby potřebné k tvorbě sekvenčních diagramů a jejich vykreslení. Implementované řešení umožňuje uložit výsledný sekvenční diagram ve formátech PNG, SVG a XML pro snadné šíření výsledků simulace a další zpracování. Tato aplikace zjednodušuje práci se simulačním serverem, který jinak neposkytuje člověkem čitelné výstupy a umožňuje velmi rychle a snadno zjistit posloupnost dějů v simulovaném modelu.
The goal of this bachelor's thesis is to design and create an application that graphically represents the communication between objects during a simulation of object oriented Petri nets (OOPN) as sequence diagrams. Input to the application is the definition of OOPN classes written in PNtalk. A simulation server, implemented in SmallTalk, is used for OOPN model simulation. This thesis describes server commanding and corresponding data retrieving as well as its transformation to a form suitable for sequence diagram generation and drawing. The implemented solution allows users to save the final sequence diagram as a PNG, SVG or XML file for further result sharing and processing. The application simplifies working with the simulation server, which otherwise doesn't incorporate any form of human-readable output and, therefore, it allows users to quickly and easily determine the order of events inside the simulated model.
Description
Citation
BLÁHA, J. 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
cs
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 uspokojivě / D.
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení
DOI
Collections
Citace PRO