2) for Sound Acyclic Free-Choice Workflow Nets

Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst. 2) for Sound Acyclic Free-Choice Workflow Nets. 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 366-387, Springer, 2025. [doi]

Abstract

Abstract is missing.