Smart Process Mining 4.0