Soundness for Resource-Constrained Workflow Nets Is Decidable

Natalia Sidorova, Christian Stahl. Soundness for Resource-Constrained Workflow Nets Is Decidable. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 43(3):724-729, 2013. [doi]

Abstract

Abstract is missing.