您现在所在位置：首页 > 期刊导读 > 2010 > 09 > 信息摘要

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

【出 处】：

【作 者】：

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

相关热词搜索： 可达性 数据链路协议 Petri网

上一篇：基于内容理解的网络不良信息分级过滤系统研究与设计
下一篇：一种准正交空时分组码的并行译码算法