利用归约加速死变迁与并发位置的计
计算机科学中的逻辑
2021-06-25 v1
摘要
我们提出一种加速并发关系计算的新方法，即计算 Petri 网中所有可同时被标记的位置对。我们的方法依赖于一种状态空间抽象，它结合了结构归约与线性代数，并采用了专为该任务设计的新数据结构。我们的算法在名为 Kong 的工具中实现，并在 2020 年模型检测竞赛（Model Checking Contest）使用的大量模型上进行了测试。实验表明，即便仅应用了中等程度的归约，该方法依然表现良好。
引用
@article{arxiv.2106.12813,
title = {Accelerating the Computation of Dead and Concurrent Places using Reductions},
author = {Nicolas Amat and Silvano Dal Zilio and Didier Le Botlan},
journal= {arXiv preprint arXiv:2106.12813},
year = {2021}
}