陆正福, 王敏, 王国栋. 多播路由协议PIM-SM的扩展Petri网形式分析[J]. 云南大学学报(自然科学版), 2004, 26(2): 127-131.
引用本文: 陆正福, 王敏, 王国栋. 多播路由协议PIM-SM的扩展Petri网形式分析[J]. 云南大学学报(自然科学版), 2004, 26(2): 127-131.
shu
LU Zheng-fu, WANG Min, WANG Guo-dong. Formal analysis of multicast routing protocol PIM-SM based on extended Petri net[J]. Journal of Yunnan University: Natural Sciences Edition, 2004, 26(2): 127-131.
Citation: LU Zheng-fu, WANG Min, WANG Guo-dong. Formal analysis of multicast routing protocol PIM-SM based on extended Petri net[J]. Journal of Yunnan University: Natural Sciences Edition, 2004, 26(2): 127-131.
shu

多播路由协议PIM-SM的扩展Petri网形式分析

Formal analysis of multicast routing protocol PIM-SM based on extended Petri net

    摘要
  • 摘要: PIM-SM是一类重要的多播路由协议.在对PIM-SM详细的机制分析的基础上用扩展的库所/变迁网对其进行形式化的描述,为其计算机仿真和具体实现奠定了形式化和自动化的基础.

     

    Abstract: PIM-SM is an important class of multicast routing protocol.It is presented a formal protocol description of PIM-SM with extended place/transition net on the base of detailed mechanism analysis,thus lay a formalization and automation foundation for computer simulation and implementation of the PIM-SM.

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回