找到2个数据集

标签: Petri网

过滤结果

  • B_I_Sat算法评估用基准Petri网模型数据集

    2025年12月13日 30 172 39

    数据集概述 本数据集包含用于评估B-I-Sat算法的基准Petri网模型及其文档资料，核心为模型文件与说明文档，为B-I-Sat算法的性能验证提供基础模型支持。 文件详解 文件名称: bisat-pn-models.zip，文件格式: .zip（压缩包），包含用于B-I-Sat算法评估的基准Petri网模型文件 文件名称: bisat-pn-...
    packageimg

  • TAPAAL_HyperLTL_Based_超属性验证工具复现完整数据

    2025年12月6日 30 96 59

    数据集概述 本数据集是论文《TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Net》的复现包，该论文已被ATVA 2025会议接收，包含用于验证论文实验结果的工具相关资源。 文件详解 文件名称: ATVA-2025-artifact.zip 文件格式: ZIP (.zip)...
    packageimg