#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