山东理工大学学报（自然科学版）
山東理工大學學報（自然科學版）
산동리공대학학보（자연과학판）
JOURNAL OF SHANDONG UNIVERSITY OF TECHNOLOGY(SCIENCE AND TECHNOLOGY)
2005年
1期
84-87
,共4页
协议工程%协议形式描述%协议验证与分析%Petri网
協議工程%協議形式描述%協議驗證與分析%Petri網
협의공정%협의형식묘술%협의험증여분석%Petri망
按照OSI/ RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析.
按照OSI/ RM模型的層次,論述瞭Petri網在網絡協議工程中的研究進展情況,併從協議描述、協議驗證與分析的角度給齣瞭基于Petri網的協議工程的基本方法,最後用有色Petri網對數據鏈路層的Stop-and-Wait通信協議進行描述分析.
안조OSI/ RM모형적층차,논술료Petri망재망락협의공정중적연구진전정황,병종협의묘술、협의험증여분석적각도급출료기우Petri망적협의공정적기본방법,최후용유색Petri망대수거련로층적Stop-and-Wait통신협의진행묘술분석.
