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

来源 :煤炭技术 | 被引量 : 0次 | 上传用户：sadddddd

【摘要】

：

在计算机网络结构中,对数据链路层的分析研究是非常重要的.一般的方法验证这些协议的正确性是复杂的.Petfi网既有严格的数学理论依据,又有直观的图形表示方法,对于确定一个协

【作者】

：

田广张彦

【机构】

：

军械工程学院,石家庄,050003石家庄职业技术学院,石家庄,050081;

【出处】

：

煤炭技术

【发表日期】

：

2010年9期

【关键词】

：

可达性数据链路协议 Petri网

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在计算机网络结构中,对数据链路层的分析研究是非常重要的.一般的方法验证这些协议的正确性是复杂的.Petfi网既有严格的数学理论依据,又有直观的图形表示方法,对于确定一个协议的正确性非常有帮助.本文以Petri网作为工具,建立了数据链路层几个协议的模型,以模型为基础对协议进行分析,为协议的正确性提供了分析手段.

其他文献

基于PRO/E和NASTRAN的装载机工作装置模态分析

运用PRO/E对装载机工作装置进行建模,将模型导入PATRAN中,运用NASTRAN进行模态分析,得到装载机工作装置的各阶模态振型.将各阶模态频率与激励频率对比,如果计算频率在激励安

期刊

PRO/ENASTRAN工作装置模态分析

浅谈测量技术在建筑工程施工中的主要工作

期刊

多锤头碎石化技术在旧水泥路面改建工程中的应用

期刊

汽油车差速器壳内球面加工工装设计

为CA1 0 4 6L型差速器壳内球面加工设计了专用工装 ,并进行了分析和论证。 For CA1 0 4 6L-type differential shell spherical inner surface machining designed special

期刊