找到1个数据集

标签: 嵌套拓扑

过滤结果

  • Petri_Games_Based_网络更新合成实验复现数据

    2026年1月29日 30 129 118

    数据集概述 本数据集是论文“Automatic Synthesis of Transiently Correct Network Updates via Petri Games”的配套实验复现工具包，包含实验所需的脚本、二进制文件、源代码及预生成模型。支持执行网络拓扑更新合成实验，验证暂态正确性，可复现论文中的实验结果并支持实验修改与扩展。 文件详解...
    packageimg