1 paper
Nikolai M. Suvorov, Irina A. Lomazova, Andrey Rivkin
A process model is called sound if it always terminates properly and each model activity can occur in a process instance. Conducting soundness verification right after process desi…