#free-choice

1 note.

• Verification of Workflow NetsBPM/wiki/sources/1998-vanderaalst-verification-of-workflow-nets