一种改进的SRARQ协议的Pr/T网描述与验证

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