基于Petri网的IPv4到IPv6协议转换分析  

ANALYSIS ON CONVERSION OF IPv4 TO IPv6 PROTOCOL BASED ON Petri NET

作　　者：符海波[1] 郑红[1,2] 罗笑南 

机构地区：[1]华东理工大学信息科学与工程学院,上海200237 [2]上海市计算机软件评测重点实验室,上海200235 [3]中山大学信息学科学与技术学院,广东广州510275

出　　处：《计算机应用与软件》2011年第12期105-107,187,共4页Computer Applications and Software

基　　金：粤港关键领域重点突破项目(2007A090601001);数字家庭教育部重点实验室开放基金(中山大学)

摘　　要：应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。Petri net theory is employed to analyse the conversion of IPv4 to IPv6 protocol,and according to the actual system and the detailed conversion flowchart,the corresponding Petri net models are established.By analysing the dynamic properties including boundedness,accessibility,activity and reversibility of the models,the feasibilities of the converted models in their function and security have been proved.

关 键 词：PETRI网 协议转换 可达图 

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