Discovery of Petri Net models of distributed processes in Communicating Resource Systems
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
PL Odkrywanie modeli procesów w reprezentacji sieci Petriego dla systemów rozproszonych typu CRS
angielski
- Process Mining
- Process Discovery
- Distributed Computing and Systems
- Process Modelling
- REST
- Eksploracja procesów
- odkrywanie modeli procesów
- rozproszone przetwarzanie
- systemy rozproszone
- modelowanie procesów
- REST
EN The dissertation tackles the problem of development and evaluation of new concepts (algorithms) for a discovery of Petri net models of distributed processes in Communicating Resource Systems (CRS). Firstly, the problem of process event log gathering is solved by the idea of so-called aspect-oriented logging and business process event log reconstruction algorithm. Secondly, the CRS miner algorithm is presented, which based on a complete log of a business process executed in CRS, is able to discover a sound and structured workflow net process model that is structurally equivalent to real sound and structure workflow net of that process. Next, two extended versions of CRS miner are introduced. The hCRS miner algorithm discovers local process models of CRS resources and global (business) process model of CRS as a composition of that local processes. The dhCRS miner is a distributed version of hCRS miner that additionally discovers a resource hierarchy. Finally, cdhCRS miner is proposed in order to acquire a more compact business process model in coloured Petri net notation.
PL Rozprawa doktorska przedstawia rozwiązanie problemu opracowania oraz ewaluacji nowych metod (algorytmów) odkrywania modeli sieci Petriego dla procesów uruchamianych w systemach komunikujących się zasobów (CRS). Po pierwsze, zaproponowano podejście umożliwiające zbieranie odpowiednich dzienników zdarzeń w systemach CRS polegające na wykorzystaniu, opracowanego w ramach pracy, aspektowego logera oraz algorytmu rekonstrukcji logu procesu biznesowego. Po drugie, zaproponowano algorytm CRS miner, który na bazie kompletnego logu procesu biznesowego uruchamianego w CRS, odkrywa model tego procesu. Model ten jest równoważny rzeczywistemu procesowi realizowanemu w tym systemie. Kolejne modyfikacje wprowadzają: dekompozycję problemu odkrywania modelu procesu biznesowego w systemach CRS na mniejsze podproblemy (hCRS miner), oraz rozproszenie związanych z tym obliczeń (dhCRS miner). Ostatecznie, w celu minimalizacji wynikowego modelu, zaproponowano algorytm cdhCRS miner, który odkrywa kolorowaną sieć Petriego.
173
nauki o komputerach i informatyka
informatyka
DrOIN 1951
publiczny
Zbigniew Banaszak
Koszalin, Polska
01.08.2018
polski
publiczny
Henryk Krawczyk
Gdańsk, Polska
16.08.2018
polski
publiczny
rozprawa doktorska
Poznań, Polska
08.10.2018
Rada Wydziału Informatyki Politechniki Poznańskiej
doktor nauk technicznych w dyscyplinie: informatyka, w specjalności: systemy rozproszone