Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek. Verification of EPCs: Using Reduction Rules and Petri Nets. In Oscar Pastor, João Falcão e Cunha, editors, Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings. Volume 3520 of Lecture Notes in Computer Science, pages 372-386, Springer, 2005. [doi]
Abstract is missing.