Page 32 -

14 1 Introduction

Table 1.1 (Continued)
Case id Event id Properties
Timestamp Activity Resource Cost ...

6 35654871 06-01-2011:15.02 Register request Mike 50 ...
35654873 06-01-2011:16.06 Examine casually Ellen 400 ...
35654874 07-01-2011:16.22 Check ticket Mike 100 ...
35654875 07-01-2011:16.52 Decide Sara 200 ...
35654877 16-01-2011:11.47 Pay compensation Mike 200 ...
... ... ... ... ... ... ...

Table 1.2 A more compact
representation of log shown Case id Trace
in Table 1.1: a = register
request, b = examine 1 a,b,d,e,h
thoroughly, c = examine 2 a,d,c,e,g
casually, d = check ticket, 3
e = decide, f = reinitiate a,c,d,e,f,b,d,e,g
request, g = pay 4 a,d,b,e,h
compensation,and h = reject 5 a,c,d,e,f,d,c,e,f,c,d,e,h
request
6 a,c,d,e,g
... ...

Fig. 1.5 The process model discovered by the α-algorithm [103] based on the set of traces
{ a,b,d,e,h , a,d,c,e,g , a,c,d,e,f,b,d,e,g , a,d,b,e,h , a,c,d,e,f,d,c,e,f,c,d,
e,h , a,c,d,e,g }

After executing h, the case ends in the desired final marking with just a token in
place end. Similarly, it can be checked that the other five traces shown in Table 1.2
are also possible in the model and that all of these traces result in the marking with
just a token in place end.