塞萨尔·罗德里格斯;斯特凡·施温 使用读取弧验证Petri网。 （英语） Zbl 1364.68294号 Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。2012年9月4日至7日，在英国泰恩河畔纽卡斯尔举行的第23届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，471-485（2012）。 摘要：最近的工作研究了上下文网络的展开构造，即具有读弧的网络。这样的展开更简洁，并且通常可以比Petri网更有效地构建。然而，到目前为止，还缺乏利用这些优势的具体验证算法。我们解决了这个问题，并提出了基于SAT的上下文网络死锁和可达性验证算法。此外，我们还研究了SAT编码的优化并报告了实验结果。关于整个系列，请参见[Zbl 1246.68044号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：超小卫星;蓬夫 PDF格式BibTeX公司 XML格式引用 \textit{C.Rodríguez}和\textit{S.Schwoon}，莱克特。注释计算。科学。7454，471--485（2012；Zbl 1364.68294） 全文： 内政部