有向双图嵌入问题的 CSP 实现
计算机科学中的逻辑
2020-03-24 v1
摘要
有向双图是一种元模型，它通过考虑控制与名称之间的请求流对 Milner 的双图进行了推广。关于这些双图的一个关键问题是双图嵌入，即在更大的双图中寻找一个双图的嵌入。我们提出了一种计算有向双图嵌入的算法，通过将其归约为约束满足问题。我们证明了该算法的可靠性与完备性，并在 jLibBig（一个用于处理双图反应系统的通用 Java 库）中提供了其实现以及一些实验结果。
引用
@article{arxiv.2003.10209,
title = {A CSP implementation of the directed bigraph embedding problem},
author = {Alessio Chiapperini and Marino Miculan and Marco Peressotti},
journal= {arXiv preprint arXiv:2003.10209},
year = {2020}
}
备注
arXiv admin note: substantial text overlap with arXiv:1412.1042