谁知道k可靠性验证的算法？

Question

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

Answer 1

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

This paper包含一个判定k-soundness的算法。但要小心，因为this paper表明，在存在某些扩展的情况下，k-soundness是无法判断的。