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 with Reset Arcs. T. Petri Nets and Other Models of Concurrency, 3:50-70, 2009. [doi]
Abstract is missing.