一种改进的SR ARQ协议的Pr／T网描述与验证

摘要

讨论一种采用改进的选择重发策略的ＡＲＱ（自动重发请求）协议，其特点是设置有限缓冲区和采用改进的重发算法。基于以上讨论，给出该协议的谓词／变迁Ｐｅｔｒｉ（网Ｐｒ／Ｔ网）描述和验证。