Graphical User Interface for Modelling of Petri Nets

Bc. Adam Vaňko

Master's thesis

Anotácia:

Hlavným cieľom tejto práce je navrhnúť a implementovať nový multiplatformový GUI nástroj na modelovanie Petriho sietí ako náhradu za súčasný, ktorý je zastaraný a má problémy s použiteľnosťou. Požiadavky a funkčnosť vychádzajú z analýzy aktuálneho GUI s cieľom opraviť nájdené problémy a zlepšiť použiteľnosť. Dizajn odráža moderné princípy návrhu užívateľského rozhrania a zahŕňa vhodné vylepšenia. Súčasťou praktickej časti je aj práca na module, ktorý obsahuje všeobecný model na reprezentáciu stochastických Petriho sietí a prevod modelu na zdrojový kód podobný programovaciemu jazyku C.

Abstract:

The main goal of this thesis is to design and implement a new multi-platform GUI tool for modelling of the Petri nets replacing the current one, which is aged and has usability issues. The requirements and functionality are based on the analysis of the current GUI with the aim to fix the found problems and improve usability. The design reflects modern UI design principles and incorporates suitable improvements. The practical part also includes the contribution to the module containing general stochastic reward net model representation and transformation of the model to its C-like source code representation.

Keywords

Petri Net, SPNP, GUI, editor, Stochastic Reward Net, JavaFX, Java

Jazyk práce: English

Datum vytvoření / odevzdání či podání práce: 14. 12. 2021

Obhajoba závěrečné práce

• Obhajoba proběhla 1. 2. 2022
• Vedúci: RNDr. Stanislav Chren
• Oponent: RNDr. Karolína Dočkalová Burská

Masaryk University

Faculty of Informatics

Master programme / odbor:
Applied Informatics / Service Science, Management and Engineering