





CPNTools不仅支持基础着色Petri网建立模型,也支持带有时间和分层的着色petri网建立模型。CPNTools支持CPNML编程语言,颜色集,时间,层次化建模等。同时,CPNTools提供丰富的模型分析工具,如监视器,状态空间分析等,增强了它的模型分析能力和模型验证(MC)的能力。
CPNTools是集编辑、设计与仿真以及分析于一身的有色PetriNet(CPN)工具,即ColoredPetrinets。 此4.0.1是当前最新版,有着很好的GUI,易于使用。
首先打开CPNTools程序陶溪川app下载-陶溪川app1.4.02安卓版
点击右键选择NewNet
这样就新建了一个Net
爱pc蛋蛋网站 博亚熙园团购 瑞丰国际体育 下载蓝鲸体育 电竞体育生
热门评论
最新评论