Constructing process models represented by simple Petri nets

I. Yu. Teryokhina^a, A. A. Grusho^b, E. E. Timonina^b, S. Ya. Shorgin<sup>b

a</sup> Faculty of Computational Mathematics and Cybernetics, M. V. Lomonosov Moscow State University, 1-52 Leninskie Gory, GSP-1, Moscow 119991, Russian Federation
^b Institute of Informatics Problems, Federal Research Center "Computer Science and Control" of the Russian Academy of Sciences, 44-2 Vavilov Str., Moscow 119133, Russian Federation

Abstract: The paper deals with the problem of “workflow mining.” Workflow mining is numerous techniques for discovering processes' models represented by their workflow log. The paper considers process models in terms of simple Petri nets. It is shown that constructing a correct model when a process contains equal tasks is not always an attainable goal. Moreover, it was revealed that in the case when a model has transitions with no correspondence to any process task, the relation between the causal relations detected in the log and the presence of places connecting transitions in the Petri net is violated.

Keywords: Petri nets, workflow mining, process modeling.

Received: 11.09.2020

DOI: 10.14357/08696527200406