基于Petri网的多播组动态管理协议IGMP的形式化分析  

FORMAL ANALYSIS OF MULTICAST GROUP DYNAMIC MANAGEMENT PROTOCOL IGMP BASED ON PETRI NETS

作　　者：陆正福[1] 于光德[1] 李亚东[1] 王国栋[1] 

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

出　　处：《计算机应用》2002年第7期12-14,17,共4页journal of Computer Applications

基　　金：云南省教育厅科研基金项目 (0 1 1 1 1 55) ;云南省省校合作项目 (1 9- 7) :(北京大学-云南大学 )

摘　　要：文中在对IGMP详细的机制分析的基础上用扩展的库所 变迁网对其进行了形式化的描述 ,从而奠定了IGMP协议分析和具体实现的基础。In this paper, we have a formal protocol description of IGMP with extended place/transition net on the base of detailed mechanism analysis, thus lay a solid foundation for analysis and implementation of the IGMP IP

关 键 词：IP多播 IGMP PETRI网 协议工程学 

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