S-不变量分析相关硕士博士期刊学术论文 - 搜论网

S-不变量分析相关论文

一种新型卫星网管协议的Petri网描述与验证

介绍了一种新型的卫星网网络管理协议，阐述了此协议服务联系和服务原语的设计，利用Petri网描述协议的方法，对此网络管理协议模型进行......

期刊

多元化网络管理协议 PETRI网可达性分析 S-不变量分析 T-不变量分析 MNMP Petri net reachability analysis S

看过本文同时还关注