Transformace BPMN modelů technologických procesů do modelů využívajících barvené Petriho sítě

Bc. David Le

Master's thesis

Transformation of BPMN models of technological processes into models using colored Petri nets

Abstract:

Diplomová práce se zabývá problematikou transformace modelů technologických procesů specifikovaných pomocí formalismu BPMN do formalismu barvených Petriho sítí. Úvodní část práce se zaměřuje na obecný popis problematiky analýzy a modelování technologických a business procesů. Další kapitoly detailně popisují oba formalismy, jejich výhody a nevýhody a možné alternativy těchto formalismů. Praktická část se zaměřuje primárně na popis nově navržené a vytvořené metodiky PetriBPMN popisující postup automatizované transformace modelů. Dále je zde popsána vytvořená webová aplikace využívající tuto metodiku pro validaci a následnou transformaci jednoho či více vstupních modelů najednou. K implementaci webové aplikace byly převážně použity technologie .NET a JavaScript. V neposlední řadě je zde ověřena správnost metodiky na případové studii.

Abstract:

The thesis deals with the transformation of models of technological processes specified using the BPMN formalism into the formalism of coloured Petri nets. The introductory part of the thesis focuses on a general description of the analysis and modelling of technological and business processes. The following chapters describe in detail both formalisms, their advantages and disadvantages, and alternatives to these formalisms. The practical part focuses primarily on the description of the newly designed and created PetriBPMN methodology describing the process of automated model transformation. Furthermore, the created web application using this methodology for validation and subsequent transformation of one or more input models at once is described here. Implementation of the web application was done in .NET and JavaScript technologies. Finally, the correctness of the methodology for the case study is verified.

Keywords

automatizovaná transformace, BPMN, barvené Petriho sítě, modelování procesů, technologické procesy, podnikové procesy

Language used: Czech

Date on which the thesis was submitted / produced: 26. 5. 2023

Accessible from:: 31. 12. 2999

Thesis defence

• Supervisor: prof. Ing. Antonín Kavička, Ph.D.

University of Pardubice

Faculty of Electrical Engineering and Informatics

Master programme / field:
Information Technology / Information Technology