#verification

6 notes.

• Dead Activity (Process Model Behavioural Anomaly)BPM/wiki/concepts/dead-activity
• Deadlock (Process Model Behavioural Anomaly)BPM/wiki/concepts/deadlock
• Lack of Synchronization (Process Model Behavioural Anomaly)BPM/wiki/concepts/lack-of-synchronization
• Livelock (Process Model Behavioural Anomaly)BPM/wiki/concepts/livelock
• Soundness (Workflow Soundness)BPM/wiki/concepts/soundness
• Verification of Workflow NetsBPM/wiki/sources/1998-vanderaalst-verification-of-workflow-nets