7. Code Mining / department of mathematics and computer science PAGE 05-06-09
8. Model Analysis / department of mathematics and computer science PAGE 05-06-09
9. Process Mining / department of mathematics and computer science PAGE 05-06-09 Reality Information System control support
10. Process Mining / department of mathematics and computer science PAGE 05-06-09 05-06-09 Reality Information System control support Log logging Model e.g. events, messages, transactions
11. Process Mining / department of mathematics and computer science PAGE 05-06-09 Reality Information System control support Log logging Model e.g. events, messages, transactions models specifies
12. Process Mining / department of mathematics and computer science PAGE 05-06-09 Reality Information System control support Log logging Model e.g. events, messages, transactions models specifies verification discovery conformance verification
13.
14. Process Mining Mining System / department of mathematics and computer science PAGE 05-06-09 Log analysis report original data
15.
16.
17.
18. Demonstrations / department of mathematics and computer science PAGE 05-06-09