1 Table of Contents: “... Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event...”

2 Table of Contents: “...Verification of Logs - Revealing Faulty Processes of a Medical Laboratory -- An Everlasting Secure...”

3 Table of Contents: “... and Transformation Framework -- Mining Conditional Partial Order Graphs from Event Logs -- Conditions for Petri Net...”

4 “... logs that are readily available in many organizations. This volume of Springer’s Lecture Notes...”