CPNtools是由丹麦的奥尔胡斯大学开发的一个专用于有色Petri网编辑、模拟和分析的工具，并且仍在不断地完善中。CPNtools提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中。