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

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

作　　者：陆正福[1] 王敏[1] 王国栋[1] 

机构地区：[1]云南大学数学系,云南昆明650091

出　　处：《云南大学学报（自然科学版）》2004年第2期127-131,共5页Journal of Yunnan University(Natural Sciences Edition)

基　　金：云南省自然科学基金资助项目(2002F0012M);云南省教育厅科研基金资助项目(0111155);云南省省校合作项目(19-7).

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

关 键 词：IP多播路由 PIM-SM协议 扩展PETRI网 稀疏模式 

分 类 号：TN915.04[电子电信—通信与信息系统]