• 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