文献类型：期刊文献

中文题名：基于Petri网的IPv4到IPv6协议转换分析

英文题名：ANALYSIS ON CONVERSION OF IPv4 TO IPv6 PROTOCOL BASED ON Petri NET

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

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

年份：2011

卷号：28

期号：12

起止页码：105

中文期刊名：计算机应用与软件

外文期刊名：Computer Applications and Software

收录：CSTPCD;;CSCD:【CSCD_E2011_2012】；

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

语种：中文

中文关键词：Petri网;协议转换;可达图

外文关键词：Petri net Protocol conversion Reachability graph

摘要：应用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.