Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques

van der Aalst, Wil M. P.

Berlin ; Heidelberg : Springer (2000)
Contribution to a book

In: Business Process Management : Models, Techniques, and Empirical Studies / edited by Wil Aalst, Jörg Desel, Andreas Oberweis
Page(s)/Article-Nr.: 161-183