Thesis Details
Nástroj pro práci s Objektově orientovanými Petriho sítěmi
This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.
Petri net, Object oriented Patri nets, PNtalk, PNML, SVG, PNtalk server, graphic editor, Java, JavaFX
Bartík Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Rychlý Marek, RNDr., Ph.D. (DIFS FIT BUT), člen
@mastersthesis{FITMT18476,
author = "Anton\'{i}n Neu\v{z}il",
type = "Master's thesis",
title = "N\'{a}stroj pro pr\'{a}ci s Objektov\v{e} orientovan\'{y}mi Petriho s\'{i}t\v{e}mi",
school = "Brno University of Technology, Faculty of Information Technology",
year = 2020,
location = "Brno, CZ",
language = "czech",
url = "https://www.fit.vut.cz/study/thesis/18476/"
}