Christopher T. Schwanen, Wied Pakusa, Wil M. P. van der Aalst: Complexity of Alignments on Sound Free-Choice Workflow Nets. Petri Nets 2025: 388-410