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.

Bernardinello, L., Lomazova, I., Nesterov, R., Pomello, L. (2018). Compositional discovery of workflow nets from event logs using morphisms. In 2018 International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED (pp.23-38). CEUR-WS.

Compositional discovery of workflow nets from event logs using morphisms

Bernardinello, L;Nesterov, R;Pomello, L
2018

Abstract

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.
paper
Composition; Morphisms; Multi-agent systems; Petri nets; Process discovery; Workflow nets; Computer Science (all)
English
International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2018
2018
Carmona J.,van der Aalst W.,Bergenthum R.
2018 International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED
2018
2115
23
38
http://ceur-ws.org/Vol-2115/ATAED2018-23-38.pdf
reserved
Bernardinello, L., Lomazova, I., Nesterov, R., Pomello, L. (2018). Compositional discovery of workflow nets from event logs using morphisms. In 2018 International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED (pp.23-38). CEUR-WS.
File in questo prodotto:
File Dimensione Formato  
BLNP_ATAED2018_23-38.pdf

Solo gestori archivio

Tipologia di allegato: Publisher’s Version (Version of Record, VoR)
Dimensione 1.04 MB
Formato Adobe PDF
1.04 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/205116
Citazioni
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
Social impact