您现在的位置是:网站首页> 软件下载软件下载

CPNTools(建模工具)V4.0.1官方版

2021-04-25 113人已围观

简介 CPNTools(建模工具)V4.0.1官方版

CPN Tools是一款集编写、设计方案与模拟仿真及其剖析于一身的有色Petri Net(CPN)专用工具,即Colored Petri nets,CPN Tools4.0.1是当今最新版本,拥有 非常好的GUI,便于应用。 【软件特点】   CPN Tools不但支持基本着色Petri网创建模型,也支持含有時间和层次的着色petri网创建模型。CPN Tools支持CPN ML计算机语言,色调集,時间,层次化建模等。另外,CPN Tools出示丰富多彩的模型分析工具,如监控器,状态空间剖析等,提高了它的模型剖析能力和模型认证(MC)的能力。

下载资源

-六神源码网