基于Petri网的数据链路层协议分析

详细信息    查看全文 | 推荐本文 |

英文篇名：Analyses of Data Link Layer Protocol Based on Petri Net 作者：王学贺 英文作者：WANG Xuehe;Teaching and Research Office,Heze Medical College; 关键词：Petri网 ; 数据链路层 ; 协议 ; 模型 ; 关联矩阵 ; 可达图 英文关键词：Petri net;;data link layer;;protocol;;modeling;;incidence matrix;;reachability graph 中文刊名：MYSF 英文刊名：Journal of Mianyang Teachers' College 机构：菏泽医学专科学校计算机教研室; 出版日期：2019-05-15 出版单位：绵阳师范学院学报 年：2019 期：v.38;No.243 语种：中文; 页：MYSF201905018 页数：4 CN：05 ISSN：51-1670/G 分类号：106-109

摘要

本文讨论了数据链路层信息传输协议,建立了单工信息传输的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.