一种基于Petri网的现场总线建模方法，杨晓川，郭磊，对于复杂的协议机制，其中协议形式化描述是技术难点所在点所在。Petri网是一种离散系统的建模与分析工具，在网络协议描述方面有良�
2021-11-02 08:38:39
762KB
1
行业分类-设备装置-一种将PLC指令表程序转换成普通Petri网的方法.zip
2021-09-12 19:02:28
602KB
行业分类-设备装置-一种将可编程逻辑控制器程序转换为普通Petri网的方法.zip
2021-09-12 19:02:22
561KB
行业分类-外包设计-基于行为流空间状态传递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