Discovery of Cancellation Regions within Process Mining Techniques

Issue title: Concurrency, Specification and Programming

Article type: Research Article

Authors: Kalenkova, Anna A. | Lomazova, Irina A.

Affiliations: National Research University Higher School of Economics (HSE), Moscow, 101000, Russia. {akalenkova,ilomazova}@hse.ru

Note: [] Address for correspondence: National Research University Higher School of Economics (HSE), Moscow, 101000, Russia

Abstract: Process mining is a relatively new field of computer science which deals with process discovery and analysis based on event logs. In this work we consider the problem of discovering workflow nets with cancellation regions from event logs. Cancellations occur in the majority of real-life event logs. In spite of huge amount of process mining techniques little has been done on cancellation regions discovery. We show that the state-based region algorithm gives labeled Petri nets with overcomplicated control flow structure for logs with cancellations. We propose a novel method to discover cancellation regions from the transition systems built on event logs and show the way to construct equivalent workflow net with reset arcs to simplify the control flow structure.

DOI: 10.3233/FI-2014-1071

Journal: Fundamenta Informaticae, vol. 133, no. 2-3, pp. 197-209, 2014