摘要： 提出了一种退后Ｎ帧（ＧＢＮ）与选择性重发（ＳＲ）策略相结合的自动重发请求（ＡＲＱ）协议，它的特点是接收方窗口大小为ｆ，即具有能容纳ｆ个码字的接收缓冲器Ｂ’和有ｆ位的移位寄存器ＲＥＧ。并给出了该协议的谓词／变迁Ｐｅｔｒｉ网（Ｐｒ／Ｔ网）描述和验证，说明了协议无死锁，数据传输不会丢失、重复或失序。

关键词: 自动重发请求协议；谓词／变迁网；描述；验证

中图分类号: 

• TP393