多播路由协议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.

     

/

返回文章
返回