2,219 followers
Interesting new paper on diagnosing soundness of workflow nets: https://t.co/0SNzakXmYE But at least for free-choice WF nets, I find the approach by Favre et al. much simpler for this problem (and lower computational complexity too) https://t.co/46LZBOWcSu