CPN Tools 是集 編輯、設(shè)計(jì)與仿真以及分析 于一身的有色Petri Net（CPN）工具，即Colored Petri nets。 此4.0.1是當(dāng)前最新版，有著很好的GUI，易于使用。 CPN Tools不僅支持基礎(chǔ)著色Petri網(wǎng)建立模型，也支持帶有時(shí)間和分層的著色petri網(wǎng)建立模型。CPN Tools支持CPN ML編程語言，顏色集，時(shí)間，層次化建模等。同時(shí)，CPN Tools提供豐富的模型分析工具，如監(jiān)視器，狀態(tài)空間分析等，增強(qiáng)了它的模型分析能力和模型驗(yàn)證（MC）的能力。