DocumentCode
2304607
Title
CPN Modelling of Reliable Data Transmission Scheme for Service Unit Based Network Architecture
Author
Wang, Yan ; Zheng, Junhui ; Yi, Fasheng
Author_Institution
Coll. of Comput. Sci. & Eng., Univ. of Electron. Sci. & Technol. of China, Chengdu, China
Volume
4
fYear
2009
fDate
19-21 May 2009
Firstpage
295
Lastpage
299
Abstract
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.
Keywords
Petri nets; data communication; protocols; software packages; CPN modelling; SWIR; Sliding Window protocol; colored Petri nets; end-to-end virtual circuit structure; immediate retransmission; nonlayered network architecture; reliable data transmission scheme; service unit- based network architecture; Circuits; Computer architecture; Computer network reliability; Computer science; Data communication; Petri nets; Protocols; Software engineering; State-space methods; Virtual colonoscopy;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2009. WCSE '09. WRI World Congress on
Conference_Location
Xiamen
Print_ISBN
978-0-7695-3570-8
Type
conf
DOI
10.1109/WCSE.2009.147
Filename
5319555
Link To Document