安德烈亚斯·达尔斯加德（Andreas E.Dalsgaard）。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen，Kim G。;尼尔森，Søren M。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 扩展依赖关系图和高效的分布式定点计算。 （英语） 兹比尔1393.68098 van der Aalst，Wil（编辑）等人，《Petri网和并发的应用和理论》。第38届国际会议，2017年6月25-30日，西班牙萨拉戈萨，PETRI NETS 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-57860-6/pbk；978-3-3169-57861-3/电子书）。计算机科学课堂讲稿10258139-158（2017）。 摘要：等价性和模型检查问题可以编码为依赖图上的不动点计算。依赖图通过超边表示图中节点之间的因果依赖。我们建议扩展具有所谓否定边的依赖图模型，以提高其适用性。图形（以及验证问题）受到状态空间爆炸问题的影响。为了解决这个问题，我们设计了一个实时算法来有效计算扩展依赖图上的不动点。我们的算法补充了以前的方法，在某些情况下，除了值1的标准反向传播之外，还可以反向传播域值0。最后，我们设计了该算法的分布式版本，并在一个开源工具中实现，并在2016年模型检查竞赛的Petri网模型和CTL查询的基准测试上证明了我们的通用方法的效率。关于整个系列，请参见[Zbl 1365.68011号]. 引用于4文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68宽15 分布式算法 软件：玛丽;FDR3公司;LTSmin公司;自旋蛋白;CADP公司;TAPAAL公司 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人，Lect。注释计算。科学。10258、139--158（2017；Zbl 1393.68098） 全文： 内政部