Suscripción a Biblioteca: Guest
Portal Digitalde Biblioteca Digital eLibros Revistas Referencias y Libros de Ponencias Colecciones
Telecommunications and Radio Engineering
SJR: 0.202 SNIP: 0.2 CiteScore™: 0.23

ISSN Imprimir: 0040-2508
ISSN En Línea: 1943-6009

Volumes:
Volumen 78, 2019 Volumen 77, 2018 Volumen 76, 2017 Volumen 75, 2016 Volumen 74, 2015 Volumen 73, 2014 Volumen 72, 2013 Volumen 71, 2012 Volumen 70, 2011 Volumen 69, 2010 Volumen 68, 2009 Volumen 67, 2008 Volumen 66, 2007 Volumen 65, 2006 Volumen 64, 2005 Volumen 63, 2005 Volumen 62, 2004 Volumen 61, 2004 Volumen 60, 2003 Volumen 59, 2003 Volumen 58, 2002 Volumen 57, 2002 Volumen 56, 2001 Volumen 55, 2001 Volumen 54, 2000 Volumen 53, 1999 Volumen 52, 1998 Volumen 51, 1997

Telecommunications and Radio Engineering

DOI: 10.1615/TelecomRadEng.v76.i16.50
pages 1453-1461

CPN MODELING OF NETWORK PROTOCOL

V. Bharti
Department of Computer Application, Raj Kumar Goel Institute of Technology, Ghaziabad, UP, INDIA
S. Kumar
Department of Computer Science & Engineering, Ajay Kumar Garg Engineering College, Ghaziabad, UP, India

SINOPSIS

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.

PALABRAS CLAVE: RSVP, Service primitive, CPN

Articles with similar content:

Image Likelihood Measures on the Basis of the Set of Conformities
Telecommunications and Radio Engineering, Vol.68, 2009, issue 9
V. A. Gorokhovatskiy, Ye. P. Putyatin
Statistical Estimation of the Markov Pattern Recognition Procedure
Journal of Automation and Information Sciences, Vol.33, 2001, issue 4
Alexandra A. Vagis
Analysis of Perishable Queuing-Inventory System with Different Types of Requests
Journal of Automation and Information Sciences, Vol.49, 2017, issue 9
Mamed Oktay ogly Shahmaliyev , Agasi Zarbali ogly Melikov, Leonid A. Ponomarenko
Applicability of 3-D Mathematical Models of Thermal Equipment in the Development of Expert Systems
ICHMT DIGITAL LIBRARY ONLINE, Vol.0, 1992, issue
M. Nogueira, Pedro J. M. Coelho, Maria da Graca Carvalho
Technique of Control and Decision Making in Simulation Modeling of Technological Processes of Dangerous Manufacture
Journal of Automation and Information Sciences, Vol.38, 2006, issue 10
Victor S. Smorodin