CPN Tools

　　CPN Tools官方版是一个专用于有色Petri网编辑、模拟和分析的工具，提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中，CPN Tools有着很好的GUI，易于使用。

CPN Tools软件特色

　　1.支持基础着色Petri网建立模型

　　2.支持带有时间和分层的着色petri网建立模型

　　3.支持CPN ML编程语言，颜色集，时间，层次化建模等

　　4.提供丰富的模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证(MC)的能力。