Popis workflow vzorů pomocí Petriho sítí

Abstract

Tato diplomová práce se zaměřuje na problematiku modelování podnikových procesů. Její snahou je základní objasnění a přiblížení této široké domény. Jedním z hlavních cílů je dále formální popis a vysvětlení teorie Petriho sítí a některých modelovacích metod založených právě na ní, které umožňují popisování byznys procesů s ohledem na jejich bezchybnost. Hlavní část je zde věnována rozboru Workflow vzorů, které představují specializovanou formu návrhových vzorů, jež se v modelovací praxi často vyskytují. Tyto vzory jsou zde rozděleny do kategorií z hlediska funkce a následně jsou popsány a uvedeny jejich motivace, proč je využívat. Jsou zde také prezentovány příklady, jakým způsobem je možné je aplikovat a hlavně popis pomocí vybrané metody, konkrétně pomocí Workflow sítí.

This master thesis focuses on the problem of business process modeling. The aim is\linebreak to approach and clarify this broad domain. One of the main goals is a formal description and explanation of Petri nets theory and modeling methods based on this theory, which allow description of business processes with respect to their flawlessness. The main part is dedicated to the analysis of Workflow patterns, which represent a specialized form\linebreak of design patterns that are often present in practical modelling problems. These patterns are categorized by function, followed by their description and motivation for their use. This work also entails examples of possible application of these patterns and especially description of application with the chosen method, such as Workflow networks.