So far we have seen how workflow models can be defined in YAWL and how the YAWL workflow engine allows a model to drive business processes. Once such a model becomes operational, the Engine automatically logs activity, keeping track of task start and completion events, their time of occurrence, the resources involved, and so on (cf. Chap. 9, Sect. 9.7). These logs are a valuable source of information about the way a business process actually performs in practice, and can be used as a basis for operational decision making. Process mining is a technology that uses event logs (i.e., recorded actual behaviors) to analyze workflows. This is a valuable outcome in its own right, because such dynamically captured information can alert us to practic...