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

Question

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

Answer 1

你知道，最近有很多工作要做。

本文包括一种用于确定 k 稳健性的算法。但是要小心，因为这篇论文表明存在某些扩展的情况下的 k-soundness 是不可判定的。