Compositional Discovery of Workflow Nets from Event Logs Using Morphisms

P. 23–38.

Bernardinello L., Irina Lomazova, Roman Nesterov, Pomello L.

This paper presents a modular approach to discover process models for multi-agent systems from event logs. System event logs are filtered according to individual agent behavior. We discover workflow nets for each agent using existing process discovery algorithms. We consider asynchronous interactions among agents. Given a specification of an interaction protocol, we propose a general scheme of workflow net composition. By using morphisms, we prove that this composition preserves soundness of components. A quality evaluation shows the increase in the precision of models discovered by the proposed approach.

Ключевые слова: Petri nets, multi-agent systems, composition, workflow nets, process discovery, morphisms

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА: Моделирование информационных систем и анализ их поведения на основе истории событий (2018)

В книге

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018

Vol. 2115: CEUR Workshop Proceedings. , CEUR-WS.org, 2018.