Kavička, AntonínLe, David2023-08-152023-08-1520232023-05-26https://hdl.handle.net/10195/81566Diplomová 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.80 s.czeBez omezeníautomatizovaná transformaceBPMNbarvené Petriho sítěmodelování procesůtechnologické procesypodnikové procesyautomatic transformationBPMNcoloured Petri netsprocess modellingtechnological processesbusiness processesdiplomová práce45373