Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

Natalia Sidorova, Christian Stahl, Nikola Trcka. Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Inf. Syst., 36(7):1026-1043, 2011. [doi]

Abstract

Abstract is missing.