|
|
Implementace procesní analýzy OR diagramů v metodě BORM
Maxa, Oskar ; Zavoral, Filip (vedoucí práce) ; Pergl, Robert (oponent)
Tato práce se zabývá modelováním, analýzou a simulací byznysových procesů v metodě BORM. V její teoretické části je vytvořen formální model pro stávající implementaci OR diagramu, který metoda používá, a popsán jeho převod na prefixový automat, což je zjednodušený formalismus zavedený výzkumy, na které tato práce navazuje. Na těchto základech je vystavěn nový simulační algoritmus, který napravuje významné sémantické nedostatky předchozích implementací. Algoritmus je implementován v rámci webového portálu pro správu procesních diagramů a následně je ověřena jeho funkčnost a výkonnost. Teoretické výsledky práce dále otevírají cestu k realizaci validačních algoritmů využitelných v praxi jak během modelování procesů, tak při jejich simulaci. Powered by TCPDF (www.tcpdf.org)
|
|
|
Implementace procesní analýzy OR diagramů v metodě BORM
Maxa, Oskar ; Zavoral, Filip (vedoucí práce) ; Pergl, Robert (oponent)
Tato práce se zabývá modelováním, analýzou a simulací byznysových procesů v metodě BORM. V její teoretické části je vytvořen formální model pro stávající implementaci OR diagramu, který metoda používá, a popsán jeho převod na prefixový automat, což je zjednodušený formalismus zavedený výzkumy, na které tato práce navazuje. Na těchto základech je vystavěn nový simulační algoritmus, který napravuje významné sémantické nedostatky předchozích implementací. Algoritmus je implementován v rámci webového portálu pro správu procesních diagramů a následně je ověřena jeho funkčnost a výkonnost. Teoretické výsledky práce dále otevírají cestu k realizaci validačních algoritmů využitelných v praxi jak během modelování procesů, tak při jejich simulaci. Powered by TCPDF (www.tcpdf.org)
|
|
|
Transformace BORM - Petriho síť s využitím supervize
Moravec, J. ; Papík, Martin
Pro efektivní fungování podnikových procesů je nebytné jejich pečlivé zdokumentování a případná optimalizace. Způsobů jak proces popsat je značné množství. Jako relativně jednoduchý a přitom účinný přístup se jeví použití metodiky BORM, který je implementován v nástroji CraftCase. Bohužel tento nástroj nenabízí tak komplexní možnosti simulace procesu, jakých je často zapotřebí. Možností jak tento nedostatek eliminovat je použití Petriho sítí pro simulaci procesů. Nejprve je nutné proces zachycený v BORMu transformovat na Petriho síť. Pravidly transformace, omezeními jak BORMu tak i Petriho sítí a v neposlední řadě konstrukcí supervizoru Petriho sítě se zabývá tento příspěvek.
|
host ::
RSS.