摘要： 文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所/变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化的基础。
关键词:
IP多播,
PIM-SM协议,
Bi-PIM协议,
Petri网,
协议工程学
Abstract: 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.
中图分类号:
陆正福,王敏. Bi-PIM协议的原理分析及其Petri网模型[J]. , 2004, 30(02): 124-126.
LU Zhengfu,WANG Min. Analysis and Petri Net Modeling of Bidirectional PIM Protocol[J]. , 2004, 30(02): 124-126.