1.96MB / 2025-07-04
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)的能力。
1.96MB / 2025-07-04
89.51MB / 2025-07-04
151.01MB / 2025-07-04
20.67MB / 2025-07-04
66.20MB / 2025-07-04
16.35MB / 2025-07-04
1.96MB
2025-07-04
384.86MB
2025-07-04
42.30MB
2025-07-04
188.99MB
2025-07-04
3.65MB
2025-07-04
465.94MB
2025-07-04
84.55MB / 2025-06-30
248.80MB / 2025-06-27
974.79MB / 2025-06-04
63.90MB / 2025-04-27
11.45MB / 2024-12-28
1.90MB / 2024-11-06
210.99MB / 2025-06-09
京ICP备14006952号-1 京B2-20201630 京网文(2019)3652-335号 沪公网安备 31011202006753号违法和不良信息举报/未成年人举报:legal@3dmgame.com
CopyRight©2003-2018 违法和不良信息举报(021-54473036) All Right Reserved