Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets. - Robin Bergenthum; Sabine Folz-Weinstein; Jakub Kovár (Petri Nets, 2023)

ILP2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. - Sabine Folz-Weinstein; Robin Bergenthum; Jörg Desel; Jakub Kovár (Petri Nets, 2023)

eST2 Miner - Process Discovery Based on Firing Partial Orders. - Sabine Folz-Weinstein; Christian Rennert; Lisa Luise Mannel; Robin Bergenthum; Wil M. P. van der Aalst (CAiSE (2), 2025)