摘要
本文讨论了数据链路层信息传输协议,建立了单工信息传输的Petri网模型,通过Petri网的关联矩阵和可达图对数据链路层信息传输协议进行动态分析,进一步验证了通信协议的正确性.
This paper discusses an information transmission protocol of data link layer and constructs a Petri net model of simplex information transmission. The present dynamic analysis of information transmission protocol of the data link layer through the incidence matrix and the reachability graph of Petri net further verifies the correctness of the communication protocol.
作者
王学贺
WANG Xuehe(Teaching and Research Office, Heze Medical College, Heze, Shandong 274030)
出处
《绵阳师范学院学报》
2019年第5期100-103,共4页
Journal of Mianyang Teachers＇ College
关键词
PETRI网
数据链路层
协议
模型
关联矩阵
可达图
Petri net
data link layer
protocol
modeling
incidence matrix
reachability graph
