现代电子技术
現代電子技術
현대전자기술
MODERN ELECTRONICS TECHNIQUE
2008年
3期
166-168
,共3页
协议工程%随机Petri网%stop-wait协议%CSMA/CD协议
協議工程%隨機Petri網%stop-wait協議%CSMA/CD協議
협의공정%수궤Petri망%stop-wait협의%CSMA/CD협의
随着计算机网络协议的广泛度和复杂度的增加,协议的形式化工作显得越来越重要.Petri网与其他形式化建模技术相比,具有特别的优越性,更加适用于通信协议的仿真与性能分析.基于两个基本通信协议:stop-wait协议和CSMA/CD协议,用Petri网对他们进行建模与仿真,对于协议开发与验证有重大意义.
隨著計算機網絡協議的廣汎度和複雜度的增加,協議的形式化工作顯得越來越重要.Petri網與其他形式化建模技術相比,具有特彆的優越性,更加適用于通信協議的倣真與性能分析.基于兩箇基本通信協議:stop-wait協議和CSMA/CD協議,用Petri網對他們進行建模與倣真,對于協議開髮與驗證有重大意義.
수착계산궤망락협의적엄범도화복잡도적증가,협의적형식화공작현득월래월중요.Petri망여기타형식화건모기술상비,구유특별적우월성,경가괄용우통신협의적방진여성능분석.기우량개기본통신협의:stop-wait협의화CSMA/CD협의,용Petri망대타문진행건모여방진,대우협의개발여험증유중대의의.