370.78MB / 2024-03-29
370.78MB / 2024-03-29
370.78MB / 2024-03-29
1.38MB / 2024-03-28
1.38MB / 2024-03-28
5.65MB / 2024-03-22
5.65MB / 2024-03-22
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)的能力。
86.24MB
2024-03-29
86.24MB
2024-03-29
85.56MB
2024-03-29
85.56MB
2024-03-29
2.92MB
2024-03-29
2.92MB
2024-03-29
63.90MB / 2023-12-11
68.36MB / 2023-08-16
11.45MB / 2023-02-20
0KB / 2022-04-08
9.40MB / 2022-02-07
113.86MB / 2021-12-20
374.16MB / 2021-12-20
京ICP备14006952号-1 京B2-20201630 京网文(2019)3652-335号 沪公网安备 31011202006753号违法和不良信息举报/未成年人举报:legal@3dmgame.com
CopyRight©2003-2018 违法和不良信息举报(021-54473036) All Right Reserved