Process Comparison Using Petri Net Decomposition. - Tobias Brockhoff; Moritz Nicolas Gose; Merih Seran Uysal; Wil M. P. van der Aalst (Petri Nets, 2024)