摘要
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.
出处
《云南大学学报(自然科学版)》
CAS
CSCD
2004年第2期127-131,共5页
Journal of Yunnan University(Natural Sciences Edition)
基金
云南省自然科学基金资助项目(2002F0012M)
云南省教育厅科研基金资助项目(0111155)
云南省省校合作项目(19-7).