Navigating Process Mining: A Case study using pm4py