Modeling of Extended Selective Repeat Protocol Based on Petri Net

摘要：

Analyzing the selective repeat protocol, this paper describes a model based on an extended selective repeat protocol (ESRP). The model has used two kinds of repeatable retransmit technology. One is that the sender will retransmit all unacknowledged frames in order when the time is out. The other is a negative and selective repeat protocol of following frame. The model of ESRP can guarantee the communication of the network timely and reliably. Finally the verification is given.

关键词： Petri net extended and selective repeat protocol retransmit model verification

作者: Mingwei Tang Wen Song Mingyu Fan Jie Hu

作者单位: School of Mathematics & Computer Science technology, Xihua University, Chengdu, China School of Comp School of Mathematics & Computer Science technology, Xihua University, Chengdu, China School of Computer Science & Engineering, University of Electronic Science and Technology of China, Software College, Southwest Jiaotong University, Chengdu, China

会议类型: 国际会议

会议名称: 2010 International Conference on Information Technology and Industrial Engineering(2010年信息技术与工业工程国际学术会议 ITIE 2010)

会议地点: 武汉

会议语种:英文

页码: 945-948

在线出版日期: 2010-06-06（万方平台首次上网日期，不代表论文的发表时间）