A Python Extension to Simulate Petri nets in Process Mining. - Mahsa Pourbafrani; Sandhya Vasudevan; Faizan Zafar; Yuan Xingran; Ravikumar Singh; Wil M. P. van der Aalst (CoRR, 2021)