数据集概述
本数据集是论文"Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games"的配套制品包，包含运行Kaki工具、生成实验问题及复现论文结果所需的文件，帮助使用者验证Kaki工具的功能与实验结论。
文件详解
- 文件名称：reproducibility_package.zip
- 文件格式：ZIP
- 字段映射介绍：压缩包内包含运行Kaki工具、生成实验问题及复现论文结果的相关文件，具体内容可参考包内的README.md文件（若包含）。
数据来源
论文"Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games"
适用场景
- 形式化方法工具验证: 用于复现Kaki工具在并发更新综合问题中的实验结果，验证工具的正确性与性能。
- 并发系统策略研究: 分析基于Petri游戏的正则策略并发更新综合方法的有效性。
- 学术实验复现: 辅助研究者重复论文中的实验流程，验证结论的可靠性。
- 工具使用教学: 作为Kaki工具的使用示例，帮助用户快速掌握工具的运行方法与应用场景。
