誰知道k健全性驗證算法？

Question

我有一個工作流網（petri網），我必須實現一個算法來驗證它是否正確無誤。

Answer 1

你知道，最近只有awful lot of work。

This paper包括用於決定k-健全性的算法。但要小心，因爲this paper表示在某些擴展名存在下的k-健全性是不可判定的。