Page 316 -

298 11 Analyzing “Lasagna Processes”

Table 11.1 Resource-activity matrix showing the number of times each user performed a par-
ticular activity: a 1 = “Domain: heus1”, a 2 = “OZ02 Voorbereiden”, a 3 = “OZ04 Incompleet”,
a 4 = “OZ06 Stop vordering”, a 5 = “OZ08 Beoordelen”, a 6 = “OZ09 Wacht Beoord”, a 7 = “OZ10
Horen”, a 8 = “OZ12 Hertaxeren”, a 9 = “OZ15 Zelf uitspraak”, a 10 = “OZ16 Uitspraak”,
a 11 = “OZ18 Uitspr. wacht”, a 12 = “OZ20 Administatie”, a 13 = “OZ24 Start vordering”. The
names of users have been anonymized for privacy reasons
User a 1 a 2 a 3 a 4 a 5 a 6 a 7 a 8 a 9 a 10 a 11 a 12 a 13

User 1 0 0 51 0 0 0 0 0 0 0 0 0 0
User 2 1 2 0 0 2 0 0 0 0 38 0 69 0
User 3 0 9 0 0 0 0 0 0 0 0 0 0 0
User 4 2 0 0 0 0 0 0 0 0 0 0 0 0
User 5 117 0 4 0 3 0 0 0 0 1 0 20 6
User 6 172 6 14 0 7 3 0 0 1 2 0 48 53
User 7 1 41 8 14 275 8 8 865 55 180 0 128 5
User 8 2 868 7 6 105 0 0 79 266 441 0 844 3
User 9 90 0 2 0 1 2 0 0 1 2 0 27 28
User 10 0 0 0 899 0 0 0 0 0 0 0 0 1019
User 11 336 1 3 1 4 2 0 0 0 1 0 18 23
User 12 1 645 13 21 419 3 0 3 217 281 1 334 9
User 13 0 1 0 0 0 0 0 0 0 0 0 0 0
User 14 0 0 0 0 0 0 0 0 0 1 0 0 0
User 15 0 0 0 0 0 0 0 2 2 0 0 2 0
User 16 1 3 3 2 1 0 0 1 2 3 1 0 0
User 17 0 4 0 0 0 0 0 0 0 0 0 0 0
User 18 9 0 0 0 0 0 0 0 0 0 0 0 0
User 19 13 1 0 0 1 0 0 0 0 0 0 4 0
User 20 0 0 0 21 0 0 0 0 0 0 0 0 258

The application of conformance checking on the processes of this municipality is
discussed in more detail in [80]. For example, there it is shown that, despite the
presence of a WFM system, processes still deviate from the normative models. The
municipality was using eiStream WFM system (formerly known as Eastman Soft-
ware and today named Global 360), therefore, we did not expect any deviations.
However, as discussed in [80], process mining could reveal misconfigurations of the
WFM system. In [83], it is shown that, based on the event logs of this municipality,
it is possible to discover simulation models covering all perspectives (control-flow,
data dependencies, performance characteristics, and organizational characteristics).
In Sect. 8.6, we showed how these perspectives can be merged into a single CPN
model that can be simulated by CPN Tools. Although we did not conduct short-
term simulations for this municipality, the validation of the models described in
[83] shows that accurate simulations are possible for the selected process. Similarly,
we showed in [113] that accurate time predictions are possible for the WOZ process
of this municipality. In [113], various annotated transition systems are constructed