一种新型卫星网管协议的Petri网描述与验证
赵建立;闻英友;商瑞强;王光兴
Petri net description of a new satellite network management protocol and its verification
Zhao, Jian-Li (1); Wen, Ying-You (1); Shang, Rui-Qiang (1); Wang, Guang-Xing (1)
东北大学学报(自然科学版)
.
2004, (4): 325
-328
.
DOI: -
