Skip to content

Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques.

Wil M. P. van der Aalst

VenueABPM
Year2000
ProceedingsBusiness Process Management

Browse the full BPM paper archive.