行业分类-外包设计-基于行为流空间状态传递Petri网的发动机空间序列建模方法.zip
2021-09-01 14:05:23
1013KB
有色petri网（colored petri netscape）建模工具CPN是一款非常优秀的有色petri网模拟及检验工具，CPN 中文帮助文档对想要系统学习有色Petri网的朋友来说是个不错的选择哦~~~
2021-08-30 11:33:13
1.14MB
1
HiPS工具是由信州大学计算机科学与工程系开发的，它是使用Microsoft Visual C＃和C ++开发的Petri网的工具设计和分析。 HiPS工具具有直观的GUI方式，可实现分层和/或定时网络设计。 HiPS工具还具有静态/动态分析功能：T不变检测，可达性路径分析，死锁状态检测和k有界分析。 另外，可以对每个点火步骤执行随机行走模拟。
2021-08-09 23:02:15
152.25MB
1