摘要
在计算机网络结构中,对数据链路层的分析研究是非常重要的。一般的方法验证这些协议的正确性是复杂的。Petri网既有严格的数学理论依据,又有直观的图形表示方法,对于确定一个协议的正确性非常有帮助。本文以Petri网作为工具,建立了数据链路层几个协议的模型,以模型为基础对协议进行分析,为协议的正确性提供了分析手段。
It is very importante that analysis and study date link in computer net constrution.Use the conventional method to verification of these protocols are complex.The petri net both have strict mathematical theory and intuitive graphical representation,so it is helpful to ensual whether a protocol is work or not.This paper use petri net as a tool to establish several models of a data link layer protocol,analysis the protocol based on the model,provide a new mothed to analysis the accuracy of the protocol.
出处
《煤炭技术》
CAS
北大核心
2010年第9期207-208,共2页
Coal Technology
