Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn. Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput., 23(3):333-363, 2011. [doi]
Abstract is missing.