谁知道k健全性验证的算法？
我有一个工作流网络（petri 网），我必须实现一个算法来验证它是否正确。
I have a workflow net (petri net) and I have to implement an algorithm to verify if it is k sound correct.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
您知道，只有一个 最近在这方面做了很多工作。
本文包含一种用于确定 k 健全性的算法。但要小心，因为这篇论文 表示存在某些扩展时 k 健全性是不可判定的。
You know, there is just an awful lot of work on that recently.
This paper includes an algorithm for deciding k-soundness. But be cautious, because this paper indicates that k-soundness in the presence of certain extensions is undecidable.