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

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (3): 157-157.

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

王德志余镇危

中国矿业大学（北京）中国矿业大学北京校区

收稿日期:2006-05-17 修回日期:1900-01-01 出版日期:2007-01-21 发布日期:2007-01-21
通讯作者: 王德志

Modeling and Analysis of PIM-SM Protocol Based on Petri Net

DeZhi Wang

Received:2006-05-17 Revised:1900-01-01 Online:2007-01-21 Published:2007-01-21
Contact: DeZhi Wang

摘要/Abstract

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

关键词: 组播, PIM-SM协议, Petri网, 共享树

Abstract: With the multicast 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 multicast-dense mode) protocol is a currently widely used intra-domain multicast routing protocol in the Internet. 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 implement.

Key words: Multicast, PIM-SM Protocol, Petri Net, Share Tree

王德志余镇危. 基于Petri网的PIM－SM协议建模与分析[J]. 计算机工程与应用, 2007, 43(3): 157-157.

DeZhi Wang. Modeling and Analysis of PIM-SM Protocol Based on Petri Net[J]. Computer Engineering and Applications, 2007, 43(3): 157-157.

[1]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[2]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[3]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[4]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[5]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[6]	刘庆，王洋，李星，李红叶. 基因池操作遗传算法的应用层组播路由优化[J]. 计算机工程与应用, 2019, 55(21): 142-150.
[7]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[8]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[9]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[10]	刘宴涛1，刘珩2. 基于子树分解的分数组播路由网络容量分析[J]. 计算机工程与应用, 2018, 54(5): 7-13.
[11]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[12]	张晶，王亮，范洪博. CPS系统物理实体时空一致性建模与分析[J]. 计算机工程与应用, 2018, 54(14): 41-44.
[13]	蒋洁琦，杨庚，李鹏. 云环境下面向隐私保护的用户行为分析[J]. 计算机工程与应用, 2018, 54(14): 127-132.
[14]	王列伟，吴朔，胡俊华. 基于Petri网的道路交叉口建模方法及比较研究[J]. 计算机工程与应用, 2018, 54(14): 211-216.
[15]	任大勇. 用直觉模糊Petri网构建的供应链可靠性诊断模型[J]. 计算机工程与应用, 2017, 53(5): 260-265.