Editor of Object Oriented Petri Nets

Tato bakalářská práce se zabývá návrhem a implementací nástroje pro editaci a simulaci Objektově orientovaných Petriho sítí. Nástroj podporuje dva formáty zápisu Objektově orientovaných Petriho sítí, a to PNtalk a PNML. Výsledná aplikace v jazyku Java poskytuje dvě hlavní skupiny funkcionalit - vytvářet, načítat a ukládat sítě v těchto formátech a vzdáleně spolupracovat se simulátorem a s jeho využitím zjistit stav simulace a zobrazit ho. První část práce je věnovaná teorii, v které jsou objasněné koncepty spojené s Objektově orientovanými Petriho sítěmi. Ve druhé části se zabýváme popisem implementace a funkcionality implementovaného nástroje pro editaci OOPN a způsobem propojení nástroje se simulátorem.This bachelor thesis deals with the design and implementation of the tool, which allows to edit and simulate Object oriented Petri nets. It supports two formats of Object oriented Petri nets, PNtalk and Petri Net Markup Language. The final tool implemented in Java programming language allows to create, save and load Petri nets in these formats, as well as to remotely cooperate with the simulator and display the simulation state. The first part of this thesis is devoted to theory. Concepts associated with Object oriented Petri nets are explained in the first part. The second part describes the implementation and functionality of the implemented editing tool and the process of connecting the editor with the simulator.