谁知道 k 稳健性验证的算法？

Question

我有一个工作流网（Petri 网），我必须实现一个算法来验证它是否正确。

Answer 1

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

This paper 包含一个用于确定 k 稳健性的算法。但要小心，因为this paper 表明存在某些扩展时的 k-soundness 是不可判定的。