Process mining and process discovery