Wil M. P. van der Aalst. Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis, editors, Business Process Management, Models, Techniques, and Empirical Studies. Volume 1806 of Lecture Notes in Computer Science, pages 161-183, Springer, 2000. [doi]
Abstract is missing.