#petri-nets

4 notes.

• Soundness (Workflow Soundness)BPM/wiki/concepts/soundness
• Token Semantics (BPMN Process Execution)BPM/wiki/concepts/token-semantics
• Verification of Workflow NetsBPM/wiki/sources/1998-vanderaalst-verification-of-workflow-nets
• Workflow Net (WF-net)BPM/wiki/concepts/workflow-net