What Has Remained Unchanged in Your Business Process Model?

P. 551–558.

Kirill Artamonov, Irina Lomazova

Checking conformance between a process model and an event log, which records information about a current process behavior, is a widely used technique for business process audit. It allows discovering changes in the behavior represented by the model. There are several methods to perform conformance checking: most of them are based on 'token replay' and trace alignments. There is also a recent technique which employs Partially Synchronized Product (PSP) of event structures discovered from a model and an event log. Unfortunately, the above mentioned methods do not allow to identify model fragments still matching the current process behavior or do this by applying complex algorithms. The purpose of this paper is to provide a technique for solving this problem. For this we check conformance between event relations mined from a process model and an event log.

Keywords: Petri nets, Process models, BPMN, conformance checking, event logs, event relations

Publication based on the results of: Synthesis, recovery, conformance checking, and other methods for the analysis of process models and distributed information systems (2019)

In book

21st IEEE Conference on Business Informatics (CBI)

IEEE Computer Society, 2019.