基于Petri网的数据链路层协议分析
Analyses of Data Link Layer Protocol Based on Petri Net
摘要本文讨论了数据链路层信息传输协议,建立了单工信息传输的Petri网模型,通过Petri网的关联矩阵和可达图对数据链路层信息传输协议进行动态分析,进一步验证了通信协议的正确性.
更多
栏目名称
计算机与网络技术
DOI
10.16276/j.cnki.cn51-1670/g.2019.05.018
发布时间
2019-06-06
绵阳师范学院学报