What is process mining? The GH repo assumes that you already have the context (I appreciate them including a worked example, but it still doesn't tell me what they're trying to do), https://pm4py.fit.fraunhofer.de/ has docs but all of them start with "this lets you do process mining", and examples don't quite make enough sense to try and infer it. About page has the same issue.