To enable the transcript, please select a language in the video player settings menu.
About this video
<p>A process model is sound, if every activity can participate in a process instance and it is ensured that the process always terminates properly. Behavioral anomalies such as deadlocks or livelocks violate soundness. Therefore, a number of rules help avoiding unsound process models.</p>