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

摘要

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网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型.通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性.