Bi-PIM协议的原理分析及其Petri网模型  

Analysis and Petri Net Modeling of Bidirectional PIM Protocol

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

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

出　　处：《计算机工程》2004年第2期124-126,共3页Computer Engineering

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

摘　　要：文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所/变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化的基础。This paper builds a formal protocol model of Bi-PIM with extended place/transition net on the base of detailed mechanism analysis, thus lays a solid foundation for analysis and implementation of the Bi-PIM.

关 键 词：IP多播 PIM-SM协议 Bi—PIM协议 PETRI网 协议工程学 

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