基于着色Petri网的IS-IS路由协议互操作性测试的研究

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

基于着色Petri网的IS-IS路由协议互操作性测试的研究

赵玉兰，冀超，蒋凤仙，朱洋洋，雷厉霆，张志斌

Research of IS-IS interoperability testing based on colored Petri nets

ZHAO Yulan,JI Chao,JIANG Fengxian,ZHU Yangyang,LEI Liting，ZHANG Zhibin

计算机工程与科学 . 2013, (12): 90 -95 .