TY - BOOK

T1 - An iterative algorithm for applying the theory of regions in process mining

AU - Dongen, van, B.F.

AU - Busi, N.

AU - Pinna, G.M.

AU - Aalst, van der, W.M.P.

PY - 2007

Y1 - 2007

N2 - The research domain of process mining, or more specifically process discovery, aims at constructing a process model as an abstract representation of an event log. The goal is to build a model (i.e. in terms of a Petri net) that (1) can reproduce the log under consideration, and (2) does not allow for much more behaviour than shown in the log. The Theory of Regions can be used to transform a state-based model (such as a transition system) into a Petri net that exactly mimics the behaviour of the transition system. In this paper, we use the Theory of Regions to do process discovery, and we address two problems. First, we show how event logs that do not carry state information can be transformed into transition systems. Second, we deal with the problem of large logs, by showing that the proposed algorithm can be made iterative over the traces in a log, i.e. we change the complexity of the algorithm, such that it requires significantly less space, but more time.

AB - The research domain of process mining, or more specifically process discovery, aims at constructing a process model as an abstract representation of an event log. The goal is to build a model (i.e. in terms of a Petri net) that (1) can reproduce the log under consideration, and (2) does not allow for much more behaviour than shown in the log. The Theory of Regions can be used to transform a state-based model (such as a transition system) into a Petri net that exactly mimics the behaviour of the transition system. In this paper, we use the Theory of Regions to do process discovery, and we address two problems. First, we show how event logs that do not carry state information can be transformed into transition systems. Second, we deal with the problem of large logs, by showing that the proposed algorithm can be made iterative over the traces in a log, i.e. we change the complexity of the algorithm, such that it requires significantly less space, but more time.

M3 - Report

SN - 978-90-386-0894-5

T3 - BETA publicatie : working papers

BT - An iterative algorithm for applying the theory of regions in process mining

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -