CPN Tools是一款专用于有色Petri网编辑、模拟和分析的工具。软件具有增量语法检查和代码生成功能，不仅可在网络构建时进行，快速模拟器可有效处理不定时和定时网络，还可以生成和分析完整和部分状态空间...
