Abstract: In TCP/IP network’s problems such as functional redundancy, fixed layers hard to extend, and the quality of services are concerned, Service Unit based Network Architecture provided to us a simple and efficient solution [1]. Service Unit based Network Architecture is a non-layered network architecture. It uses end-to-end Virtual Circuit (VC) as data transmission mechanism. In light of this particular network architecture, we present an improved algorithm of slide window protocol and the use Colored Petri Nets to certify the correctness, completeness and feasibility of this algorithm.

Key words: Service Unit, slide window, delayed ACK, Colored Petri Nets

摘要： 针对TCP/IP网络存在的层间功能重叠、层次固定难于扩展和服务质量等方面存在的问题，服务元网络体系结构提供给我们一个高效简洁的解决之道[1]。服务元网络体系结构是一种非层次的网络体系结构，采用端到端的虚电路作为数据传输方式。针对这种独特的网络体系结构，提出了一种基于自适应延迟确认的滑动窗口协议改进算法，并使用着色Petri网验证了该算法的正确性、完备性和可行性。

关键词: 服务元, 滑动窗口, 延迟确认, 着色Petri网