勒丁·图安;阮、胡武;阮文婷;Mai、Phuong-Nam;宝龙Pham-Duy;Quan，Thanh-Tho先生;埃蒂安·安德烈;劳雷·佩特鲁奇;刘，杨 PeCAn：Petri网的合成验证变得很容易。 （英语） Zbl 1448.68305号 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 242-247 (2014). 摘要：本文介绍了PeCAn，一种支持Petri网组合验证的工具。除了经典特征（如实时分析和多个Petri网之间的同步）之外，PeCAn还生成符号观测图（SOG），并使用其组合来支持多个Petro网的模块化抽象，以实现更高效的验证。此外，PeCAn基于模型检查的反例实施了一种增量策略，从而显著提高了执行时间和内存空间的成本。PeCAn还为用户提供了输入Petri网及其相应SOG的可视化。我们使用来自Petri网模型检查竞赛的基准数据集对PeCAn进行了实验，结果令人满意。关于整个系列，请参见[兹比尔1325.68014]。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：成分验证;Petri网;符号观测图 软件：PeCA公司;TAPAAL公司;CPN/工具;清爽;访问/CPN PDF格式BibTeX公司 XML格式引用 \textit{D.-T.Le}等人，Lect。注释计算。科学。8837、242--247（2014；Zbl 1448.68305） 全文： 内政部