Pranevičius, H.; Misevičienė, R. Verification of Business Process Workflows. TEDE 2012, 18 (4), 623-635. https://doi.org/10.3846/20294913.2012.740517.