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

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.