CPN Tools图集介绍

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