PeCA公司 swMATH ID: 30318 软件作者： Le，Dinh-Thuan；Nguyen，Huu-Vu；阮文廷；Mai，Phuong-Nam；Pham-Duy，Bao-Trung；Quan、Thanh-Tho；埃蒂安·安德烈；劳雷·佩特鲁奇（Laure Petrucci）；刘，杨 描述： PeCAn：Petri网的合成验证变得很容易。本文介绍了支持Petri网组合验证的工具PeCAn。除了经典特征（如实时分析和多个Petri网之间的同步）之外，PeCAn还生成符号观测图（SOG），并使用其组合来支持多个Petro网的模块化抽象，以实现更高效的验证。此外，PeCAn实现了一种基于反例的增量策略，用于模型检查，从而显著提高了执行时间和内存空间的成本。PeCAn还为用户提供了输入Petri网及其相应SOG的可视化。我们使用来自Petri网模型检查竞赛的基准数据集对PeCAn进行了实验，结果令人满意。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-11936-6_18 关键词： 成分验证;Petri网;SOG公司 相关软件： CPN/工具;清爽;访问/CPN;TAPAAL公司 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物在zbMATH中 年份 PeCAn：Petri网的合成验证变得很容易。 Zbl 1448.68305号勒丁·图安;阮、胡武;阮文婷;Mai、Phuong-Nam;宝龙Pham-Duy;Quan，Thanh-Tho先生;埃蒂安·安德烈;劳雷·佩特鲁奇;刘，杨 2014 全部的 前5名被9位作者引用 1 埃蒂安·安德烈 1 勒丁·图安 1 刘，杨 1 Mai、Phuong-Nam 1 阮、胡武 1 阮文婷 1 劳雷·佩特鲁奇 1 Pham Duy、Bao Trung先生 1 权，Thanh Tho 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文