Eindhoven University of Technology
Business process analysis ranges from model verification at design-time to the monitoring of processes at runtime. Much progress has been achieved in process verification. Today the authors are able to verify the entire reference model of SAP without any problems. Moreover, more and more processes leave their \"Trail\" in the form of event logs. This makes it interesting to apply process mining to these logs. Interestingly, practical applications of process mining reveal that reality is often quite different from the idealized models, also referred to as \"PowerPoint reality\".