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]
No references recorded for this publication.
No citations of this publication recorded.