一种优化数据链路层协议的Petri网模型及分析

摘要：

数据链路层位于网络体系结构第二层,向网络层提供统一界面.利用Petri网对基本的数据链路层协议建模,根据变迁设定原则,将逻辑状态与实际情形相结合,对一个原有模型进行了改进,并在此基础上,利用改进的思想对一个更高级的协议进行Petri网的建模分析.改进后的模型对协议的验证更加具有合理性.

关键词：Petri网、通信协议、建模、可达树

所属期刊栏目：32

分类号：TP393(计算技术、计算机技术)

资助基金：山东省自然科学基金资助项目2004ZX17,2004ZX14

在线出版日期：2009-06-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：83-86