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

摘要

随着组播技术的飞速发展和广泛应用,对其路由协议进行数学建模和分析已经成为计算机网络领域一个重要的研究问题.其中PIM-SM协议是目前Internet上最广泛应用的域内组播路由协议.针对PIM-SM协议的复杂、异步的特点,在对PIM-SM协议机制详细分析的基础上,利用Petri网对其进行形式化描述和建模,为协议进行性能分析、系统仿真和具体实现提供理论基础.