Process Mining Logic