摘要
本文讨论了数据链路层信息传输协议,建立了单工信息传输的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.
引文
[1]Qi Liang,Zhou,MengChu,Luan Wen Jing.A Two-level Traffic Light Control Strategy for Preventing Incident-Based Urban Traffic Congestion,IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS,2018.1,19(1):13-24.
[2]Lu Wang,Yuyue Du,Wei Liu.Aligning Observed and Modelled Behaviour Based on Workflow Decomposition.Enterprise Information Systems,2017,11(8):1207-1227.
[3]王路,杜玉越,祁宏达.基于引发序列的流程模型修正[J].计算机研究与发展,2018,55(3):585-601.
[4]Andrew S.Tanenbaum.Computer Networks(第四版)[M].北京:清华大学出版社,2004
[5]袁崇义.Petri网原理[M]北京:电子工业出版社,1998
[6]林闯.计算机网络和计算机系统的性能评价[M]北京:清华大学出版社,2001
[7]古天龙,蔡国永.网络协议的形式化分析与设计[M]北京:电子工业出版社,2003
[8]王兰芹.Petri网在传输协议中的应用[J].山东科技大学学报,2004.9,23(3):56-58
[9]Qi Liang,Zhou MengChu,Luan Wen Jing.Impact of Driving Behavior on Traffic Delay at a Congested Signalized Intersection,IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS,2017.7,18(7):1882-1893.
[10]Fuxin Zhang,Yuyue Du,Wei Liu,etal.Model Predictive Power Control for Cooperative Vehicle Safety Systems.IEEE Access.2018,6(1):4797-4810.
[11]Qi Liang,Zhou MengChu,Luan Wen Jing.Impact of Driving Behavior on Traffic Delay at a Congested Signalized Intersection,IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS,2017.7,18(7):1882-1893.
[12]董岗,傅铅生.基于Petri网的电子商务建模分析[J].管理科学,2004,17(1):72-75.