bi-reachability problem | BriefGPT

关键词bi-reachability problem

搜索结果 - 1

Petri 网中的双可达性
我们研究了带有数据的 Petri 网，Petri 网的扩展，其中令牌携带来自无限数据域的值，并且过渡的可执行性取决于数据值之间的等式。我们提供了一个双向可达性问题的决策过程：给定一个 Petri 网及其两个配置，我们询问每个配置是否可以从另
PDFa month ago