计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2011年
12期
105-107,187
,共4页
Petri网%协议转换%可达图
Petri網%協議轉換%可達圖
Petri망%협의전환%가체도
应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型.通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性.
應用Petri網原理分析IPv4-IPv6協議轉換,併結閤實際的繫統和詳細轉換流程圖,建立Petri網模型.通過此Petri網模型的有界性、可達性及活性等動態特性,證明此轉換模型功能和安全上的可行性.
응용Petri망원리분석IPv4-IPv6협의전환,병결합실제적계통화상세전환류정도,건립Petri망모형.통과차Petri망모형적유계성、가체성급활성등동태특성,증명차전환모형공능화안전상적가행성.
