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

Bc. David Le

Diplomová práce

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

Anotace:

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.

Klíčová slova

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

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 26. 5. 2023

Zveřejnit od: 31. 12. 2999

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

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

Univerzita Pardubice

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační technologie / Informační technologie