#formal-methods

3 notes.

• Soundness (Workflow Soundness)BPM/wiki/concepts/soundness
• Verification of Workflow NetsBPM/wiki/sources/1998-vanderaalst-verification-of-workflow-nets
• Workflow Net (WF-net)BPM/wiki/concepts/workflow-net