RT Journal Article ID 5d56e9870d6acac6 A1 Bharti, V. A1 Kumar, S. T1 CPN MODELING OF NETWORK PROTOCOL JF Telecommunications and Radio Engineering JO TRE YR 2017 FD 2018-03-12 VO 76 IS 16 SP 1453 OP 1461 K1 RSVP K1 Service primitive K1 CPN AB 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. PB Begell House LK https://www.dl.begellhouse.com/journals/0632a9d54950b268,69741fd55cd51128,5d56e9870d6acac6.html