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

Analysis of Optimized Petri Net Model of Data Link Layer Protocol

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

Data link layer is the second layer of network architecture, it provides network layer with uniform interface. This article uses Petri net to modeling basic protocols of data link layer, combining the logistic state with the realistic state based on the principle used to set transition,improving and analysing a primary model. Moreover,using the new idea to modeling and analyse a more sophisticated prorocol. This model is more reasonable for validating protocol.