CPN Tools

CPN Tools是一款建模工具，能够完成基础着色Petri网建立模型，同时还能完成带有时间和分层的着色petri网建立模型的功能，此外你还能通过它使用各种模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证(MC)的能力。

软件介绍

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

软件功能

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

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

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

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

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

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

CPN Tools软件优势 第三部分扩展

非彩色网的简化使用

支持出口到PNML

支持实时和彩色集

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

简化状态空间分析

软件特色

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