Moe Thandar Wynn H. M. W. Verbeek Wil M. P. van der Aalst Arthur H. M. ter Hofstede David Edmond Soundness-preserving reduction rules for reset workflow nets. 769-790 2009 179 Inf. Sci. 6 http://dx.doi.org/10.1016/j.ins.2008.10.033 db/journals/isci/isci179.html#WynnVAHE09