数据集概述
本数据集是论文“Automatic Synthesis of Transiently Correct Network Updates via Petri Games”的配套实验复现工具包，包含实验所需的脚本、二进制文件、源代码及预生成模型。支持执行网络拓扑更新合成实验，验证暂态正确性，可复现论文中的实验结果并支持实验修改与扩展。
文件详解
- 压缩包文件：
artefact.zip
- 文件格式：ZIP
- 内容说明：包含实验复现所需的全部资源，具体子内容包括：
- 脚本文件：mkdirs.sh（创建目录结构）、solve_zoo.sh（执行原始拓扑实验）、solve_nested.sh（执行嵌套拓扑实验）、solve_synthetic.sh（执行合成网络实验）、extract_all.sh（收集实验数据）、consistent.sh（检查结果一致性）、plot_all.sh（生成时间图表）、plot_all_mem.sh（生成内存图表）
- 源代码：verifypn子文件夹（含版本269的源代码）、Generate_Synthetic.py（生成合成模型）、Generate_Nested.py（构建嵌套拓扑）、Generate_Json.py（生成合成问题）、Translate.py（转换文件格式）
- 预生成模型：data目录下的gml、nested_gml、synthetic_json等子文件夹中的预生成文件
- 二进制文件：实验所需的可执行程序
数据来源
论文“Automatic Synthesis of Transiently Correct Network Updates via Petri Games”
适用场景
- 网络更新合成算法验证: 复现论文实验，验证基于Petri Games的暂态正确网络更新合成算法的性能与正确性
- 网络拓扑实验复现: 使用预生成模型或自定义模型，重复论文中的zoo、nested、synthetic三类拓扑实验
- 实验结果分析: 通过extract_all.sh收集数据，结合plot脚本生成时间、内存等性能图表，分析算法效率
- 网络更新策略研究: 检查netsynth与verifypn的结果一致性，研究不同工具生成的网络更新序列差异
- 实验扩展与优化: 修改生成器参数或源代码，自定义网络拓扑与合成问题，探索算法在不同场景下的表现
