workflow - kの健全性検証のアルゴリズムを知っているのは誰ですか？

Question

ワークフローネット（ペトリネット）があり、k音が正しいかどうかを確認するアルゴリズムを実装する必要があります。

Answer 1

ご存知のように、最近は非常に多くの作業が行われています。

この論文には、k-健全性を決定するためのアルゴリズムが含まれています。ただし、この論文では、特定の拡張機能が存在する場合の k-soundness は決定不能であることを示しているため、注意が必要です。