CPNTools v4.0.1

CPNTools是专注于着色Petri网的建模与分析工具，它提供了强大的图形化界面，使得用户可以方便地创建、编辑和模拟Petri网模型，支持着色Petri网的多种高级特性，如层次化建模、时间Petri网、概率Petri网等，能够满足不同领域、不同复杂度的建模需求，深入了解和分析系统的动态行为。

软件功能

1、对需要的着色petri网进行模型的建立。

2、并且还对拥有时间、分层的着色petri网建立模型进行支持。

3、对用户经常使用的CPN ML编程语言支持。

4、根据自己的需求对颜色进行选择，包括了对时间的设置。

5、层次化的建模支持，对各种丰富的模型分析工具进行提供。

6、内置的监视器相当的实用，完成对空间状态的分析等。

软件特色

1、第三部分扩展。

2、非彩色网的简化使用。

3、支持出口到PNML。

4、支持实时和彩色集。

5、改进的时间支持(时间间隔和状态空间缩减)。

6、简化状态空间分析。

软件截图

查看安装过程