4 citations · 10 across the 9 of their papers we have counts for
1 paper · 1 filter
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…