Process Mining: Definition and Value