计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2008年
11期
3430-3433
,共4页
网络协议%离散事件系统%着色解释Petri网%协议工程
網絡協議%離散事件繫統%著色解釋Petri網%協議工程
망락협의%리산사건계통%착색해석Petri망%협의공정
基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性.给出了CIPN的定义,并讨论了CIPN的运行机制,证明了CIPN事件可观测性的充要条件.通过一个MACA协议作为示例,完成了从网络协议的一般CPN模型到CIPN模型的等价性转换,并利用CIPN的事件可观测性定理对MACA协议进行了事件观测性分析.
基于Petri網的網絡協議建模技術需要更有效地與現有通用網絡協議倣真技術協同工作,結閤CPN和IPN,提齣瞭一種新的Petri網派生類CIPN用于網絡協議的建模和形式化分析,突齣瞭協議的離散事件繫統特性.給齣瞭CIPN的定義,併討論瞭CIPN的運行機製,證明瞭CIPN事件可觀測性的充要條件.通過一箇MACA協議作為示例,完成瞭從網絡協議的一般CPN模型到CIPN模型的等價性轉換,併利用CIPN的事件可觀測性定理對MACA協議進行瞭事件觀測性分析.
기우Petri망적망락협의건모기술수요경유효지여현유통용망락협의방진기술협동공작,결합CPN화IPN,제출료일충신적Petri망파생류CIPN용우망락협의적건모화형식화분석,돌출료협의적리산사건계통특성.급출료CIPN적정의,병토론료CIPN적운행궤제,증명료CIPN사건가관측성적충요조건.통과일개MACA협의작위시례,완성료종망락협의적일반CPN모형도CIPN모형적등개성전환,병이용CIPN적사건가관측성정리대MACA협의진행료사건관측성분석.
