Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions

Paolo Felli, Massimiliano de Leoni, Marco Montali. Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions. Fundamenta Informaticae, 182(1):1-29, 2021. [doi]

Abstract

Abstract is missing.