基于Petri网的数据链路层协议模型及优化  

Modeling and Optimization of Data Link Layer Protocol Based on Petri Net

作　　者：禹明刚[1] 周捷[1] 王孟磊[1] 

机构地区：[1]解放军理工大学通信工程学院研究生1队,江苏南京210007

出　　处：《军事通信技术》2011年第3期33-38,共6页Journal of Military Communications Technology

摘　　要：数据键路层位于网络体系结构第二层,向网络层提供统一界面。利用Petri网对基本的数据链路层协议建模。根据变迁设定原则,将逻辑状态与实际情形相结合。对一个原有模型进行了分析,并在此基础上,利用改进的思想对一个更高级的协议进行Petri网的建模分析。Data link layer is the second layer of network architecture and provides network layer with uniform interface. Petri net was used to model basic protocols of data link layer, the logistic state was combined with the realistic state based on the principle used to set transition, and a primary model improved and analysed. The new idea of modelling was further used to analyse a more sophisticated protocol. This model is more reasonable for validating protocol.

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

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