CPN Modelling of Reliable Data Transmission Scheme for Service Unit Based Network Architecture
Yan Wang, Junhui Zheng, Fasheng Yi · 2009
Service unit based network architecture (SUNA) is a non-layered network architecture, which could resolve the problems of layered architecture such as reduplicate functions of different layers and poor expansibility due to fixed layers. It uses end-to-end virtual circuit (VC) structure to transmit data. In order to guarantee reliable data transmission for SUNA, we propose an improved sliding window protocol called Sliding Window protocol with immediate retransmission (SWIR). After describing the mechanism of SWIR, we gives a colored Petri nets (CPN) model for it to verify the validity, integrity and feasibility of the protocol by analyzing the state space of the model.