%0 Journal Article %A Bharti, V. %A Kumar, S. %D 2017 %I Begell House %K RSVP, Service primitive, CPN %N 16 %P 1453-1461 %R 10.1615/TelecomRadEng.v76.i16.50 %T CPN MODELING OF NETWORK PROTOCOL %U https://www.dl.begellhouse.com/journals/0632a9d54950b268,69741fd55cd51128,5d56e9870d6acac6.html %V 76 %X Colored Petri Nets (CPN) is a well- suited formal approach for modeling and analysis of network protocol. CPNs models are used as a starting point for developing protocol software. The approach consists of five refinement steps that allow a developer to gradually transform a platform-independent CPN model into a platform-specific model that enables automatic code generation. This paper deals with the CPN modeling of Resource reservation protocol (RSVP). The RSVP service specification has been proposed for RSVP. It includes all the RSVP service primitive occurrence sequences. The paper describes the proposed RSVP service specification in terms of the RSVP service primitives, their parameters and the possible service primitive occurrence sequences. %8 2018-03-12