Petri_Games_Based_网络更新合成实验复现数据
收藏海数据2026-06-25 收录
官方服务：
资源简介：
本数据集是论文“Automatic Synthesis of Transiently Correct Network Updates via Petri Games”的配套实验复现工具包，包含实验所需的脚本、二进制文件、源代码及预生成模型。支持执行网络拓扑更新合成实验，验证暂态正确性，可复现论文中的实验结果并支持实验修改与扩展。 论文“Automatic Synthesis of Transiently Correct Network Updates via Petri Games”
提供机构：
公开数据创建时间：
2026-01-29
