Page 278 -

260

This part reviews available tool support for process mining and presents a methodol-
ogy for process mining. The methodology identifies two types of processes (Lasagna
and Spaghetti processes) and discusses use cases for process mining in various
∗
domains. Using the L life-cycle model, guidelines for analyzing Lasagna and
Spaghetti processes are given. Moreover, examples of analysis results based on real-
life event logs are provided.