CPN Tools(建模工具) v4.0.1官方版

这家软件站辅助设计分类下的CPN Tools(建模工具) v4.0.1官方版，文件大小为15.5M，适用系统为WinAll，以下为介绍或使用方法。

CPN Tools是一款集编辑、设计与仿真以及分析于一身的有色Petri Net（CPN）工具，即Colored Petri nets，CPN Tools4.0.1是当前最新版，有着很好的GUI，易于使用。

软件特色

CPN Tools不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言，颜色集，时间，层次化建模等。同时，CPN Tools提供丰富的模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证（MC）的能力。