#behavioural-correctness

4 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