Computing Alignments for Partially-Ordered Traces Through Petri Net Unfoldings

Ariba Siddiqui, Wil M. P. van der Aalst, Daniel Schuster 0001. Computing Alignments for Partially-Ordered Traces Through Petri Net Unfoldings. In Elvio Gilberto Amparore, Lukasz Mikulski, editors, Application and Theory of Petri Nets and Concurrency - 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings. Volume 15714 of Lecture Notes in Computer Science, pages 411-432, Springer, 2025. [doi]

Abstract

Abstract is missing.