基于Petri网的PIM-SM协议建模与分析  

Modeling and analysis of PIM-SM protocol based on Petri net

作　　者：王德志[1] 余镇危[1] 

机构地区：[1]中国矿业大学研究生院,北京100083

出　　处：《计算机工程与应用》2007年第3期157-159,共3页Computer Engineering and Applications

基　　金：教育部博士点基金资助项目(20030290003)。

摘　　要：随着组播技术的飞速发展和广泛应用,对其路由协议进行数学建模和分析已经成为计算机网络领域一个重要的研究问题。其中PIM-SM协议是目前Internet上最广泛应用的域内组播路由协议。针对PIM-SM协议的复杂、异步的特点,在对PIM-SM协议机制详细分析的基础上,利用Petri网对其进行形式化描述和建模,为协议进行性能分析、系统仿真和具体实现提供理论基础。With the muhicast technology gaining prominence and acceptance,its modeling and performance evaluation of the routing protocol has been an important problem of the computer network.PIM-SM （Protocol-Independent Muhicast-Spame Mode） protocol is a currently widely used intra-domain muhieast routing protocol in the Intemet.In allusion to the protocol characteristic of the complexity and asynchronism,the key mechanism of the protocol is analyzed in detail.It is presented a formal protocol description and is modeled based on the Petri net.The academic base of the protocol is provided for the performance analysis, system simulation and concrete implementation.

关 键 词：组播 PIM—SM协议 PETRI网 共享树 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]