基于数据链路层协议的Petri网模型分析与验证  

Analysis and Verification the Petrinet Model of the Data Link Protocol

作　　者：田广[1] 张彦[2] 

机构地区：[1]军械工程学院,石家庄050003 [2]石家庄职业技术学院,石家庄050081

出　　处：《煤炭技术》2010年第9期207-208,共2页Coal Technology

摘　　要：在计算机网络结构中,对数据链路层的分析研究是非常重要的。一般的方法验证这些协议的正确性是复杂的。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.

关 键 词：可达性 数据链路协议 PETRI网 

分 类 号：TP39[自动化与计算机技术—计算机应用技术]