Page 297 -

11.1 Characterization of “Lasagna Processes” 279

Fig. 11.2 The C-net
discovered using the heuristic
miner (a)and the
corresponding Petri net with
missing and remaining tokens
after replay (b). The numbers
generated by the heuristic
miner show the flow of
tokens. The C-net was
translated into an equivalent
Petri net with silent
transitions. The fitness was
analyzed using the ProM’s
conformance checker (cf.
Sect. 7.2). The fitness of the
discovered process is
0.99521667. Of the 528
cases, 496 cases fit perfectly
whereas for 32 cases there are
missing or remaining tokens.
The missing and remaining
tokens show where the model
and log deviate. For example,
for two cases the activity
“40 toetsen en beslissen”
(evaluate and decide) was not
started although it should
have. Activity
“20 Rapportage &
beschikking” (report and
intermediate decision) was
started twice while this was
not possible according to the
model