找到1个数据集

标签: Petri游戏

过滤结果

  • Kaki_Concurrent_Update_Synthesis_制品包

    2026年1月21日 30 38 1

    数据集概述 本数据集是论文"Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games"的配套制品包，包含运行Kaki工具、生成实验问题及复现论文结果所需的文件，帮助使用者验证Kaki工具的功能与实验结论。 文件详解...
    packageimg