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

Le, David

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

Diplomová práceopen access

dc.contributor.advisor	Kavička, Antonín
dc.contributor.author	Le, David
dc.contributor.referee	Lach, Jaroslav
dc.date.accepted	2023-06-13
dc.date.accessioned	2023-08-15T07:57:36Z
dc.date.available	2023-08-15T07:57:36Z
dc.date.issued	2023
dc.date.submitted	2023-05-26
dc.description.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.	cze
dc.description.abstract-translated	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.	eng
dc.description.defence	Zadaný 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.	cze
dc.description.department	Fakulta elektrotechniky a informatiky	cze
dc.description.grade	Dokončená práce s úspěšnou obhajobou	cze
dc.format	80 s.
dc.identifier.stag	45373
dc.identifier.uri	https://hdl.handle.net/10195/81566
dc.language.iso	cze
dc.publisher	Univerzita Pardubice	cze
dc.rights	Bez omezení
dc.subject	automatizovaná transformace	cze
dc.subject	BPMN	cze
dc.subject	barvené Petriho sítě	cze
dc.subject	modelování procesů	cze
dc.subject	technologické procesy	cze
dc.subject	podnikové procesy	cze
dc.subject	automatic transformation	eng
dc.subject	BPMN	eng
dc.subject	coloured Petri nets	eng
dc.subject	process modelling	eng
dc.subject	technological processes	eng
dc.subject	business processes	eng
dc.thesis.degree-discipline	Informační technologie	cze
dc.thesis.degree-grantor	Univerzita Pardubice. Fakulta elektrotechniky a informatiky	cze
dc.thesis.degree-name	Ing.
dc.thesis.degree-program	Informační technologie	cze
dc.title	Transformace BPMN modelů technologických procesů do modelů využívajících barvené Petriho sítě	cze
dc.title.alternative	Transformation of BPMN models of technological processes into models using colored Petri nets	eng
dc.type	diplomová práce	cze
dspace.entity.type	Publication