图书馆订阅: Guest
Begell Digital Portal Begell 数字图书馆 电子图书 期刊 参考文献及会议录 研究收集
电信和无线电工程
SJR: 0.203 SNIP: 0.44 CiteScore™: 1

ISSN 打印: 0040-2508
ISSN 在线: 1943-6009

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

电信和无线电工程

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

ABSTRACT

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.


Articles with similar content:

THE METHOD FOR IMPROVING SECURITY OF THE REMOTE VIDEO INFORMATION RESOURCE ON THE BASIS OF INTELLECTUAL PROCESSING OF VIDEO FRAMES IN THE TELECOMMUNICATION SYSTEMS
Telecommunications and Radio Engineering, Vol.76, 2017, issue 9
О. S. Kulitsa, Yu. N. Ryabukha, V. V. Barannik
MODIFICATION OF THE BRANCH AND BOUND METHOD TO DETERMINE THE EXTREMES OF MEMBERSHIP FUNCTIONS IN FUZZY INTELLIGENT SYSTEMS
Telecommunications and Radio Engineering, Vol.78, 2019, issue 20
I. S. Tvoroshenko, V. О. Gorokhovatskyi
On Automation of the Process of Forming Reference Schemes in Control System of Relational Database
Journal of Automation and Information Sciences, Vol.39, 2007, issue 10
Alexander I. Ivaneshkin
Analytical Representation of the Density Function of Normal Distribution of Noise
Journal of Automation and Information Sciences, Vol.47, 2015, issue 8
Bahruz Ismail ogly Gazizade , Naila Fuad kyzy Musaeva, Telman Abbas ogly Aliev, Matanat Tair kyzy Suleymanova
ANALYSIS OF STRUCTURAL SECRECY OF MULTI-FREQUENCY SIGNALS OF BROADBAND COMMUNICATION SYSTEMS
Telecommunications and Radio Engineering, Vol.75, 2016, issue 13
A. N. Bitchenko, A. I. Tsopa, A. A. Dudka, D. G. Ganshyn