Hierarchical Verification for the BPMN Design Model Using State Space Analysis

C. Dechsupa, Wiwat Vatanawood, Arthit Thongtak. Hierarchical Verification for the BPMN Design Model Using State Space Analysis. IEEE Access, 7:16795-16815, 2019. [doi]

Abstract

Abstract is missing.