Challenges in Business Process Management: Verification of business processes using Petri nets - van der Aalst, WMP (Bulletin of the EATCS, 2003)