Free-choice Nets with Home Clusters are Lucent

Wil M. P. van der Aalst. Free-choice Nets with Home Clusters are Lucent. Fundamenta Informaticae, 181(4):273-302, 2021. [doi]

Abstract

Abstract is missing.