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

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.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.Fakulta elektrotechniky a informatikyZadaný odborný problém spočíval v návrhu a ověření metodiky pro provádění automatizovaných transformací modelů technologických/bussines procesů, které jsou formalizovány ve formě BPMN-modelů (Bussines Process Modelling and Notation), do modelů založených na formalismu barvených Petriho sítí (CPN - Coloured Petri Nets). Správnost navrženého řešení problému byla prokázána úspěšným ověřením metodiky Petri BPMN na případové studii, v jejímž rámci byly zkoumány technologické procesy soupeřící o sdílené obslužné zdroje. Cíle diplomové práce byly splněny v plném rozsahu. Diplomant zodpověděl všechny dotazy vedoucího, oponenta i členů komise. Vynikající diplomová práce, která byla navržena komisí na "Studentskou cenu rektora I. stupně v souladu s čl. 4 odst. 1 písm. b) Stipendijního řádu Univerzity Pardubice.Dokončená práce s úspěšnou obhajobo