Title :
Colored Petri Net model of the Session Initiation Protocol (SIP)
Author :
Gehlot, Vijay ; Nigro, Carmen
Author_Institution :
Dept. of Comput. Sci., Villanova Univ., Villanova, PA, USA
Abstract :
The Session Initiation Protocol (SIP) together with its extension for presence and messaging is considered to be an enabler of converged communications. At the core, SIP is a signaling protocol used for establishing sessions in an IP network. SIP has been adopted by 3GPP for multimedia streaming services in cellular networks. This paper presents a formalized and executable Colored Petri Net model of SIP and its components. Since the broader impact of SIP is the realization of SIP-based services, these models can be used to design and analyze such services for desired behaviors prior to implementation.
Keywords :
Petri nets; graph colouring; signalling protocols; 3GPP; IP network; SIP-based services; cellular networks; colored Petri Net model; multimedia streaming services; session initiation protocol; signaling protocol; Analytical models; Computational modeling; Fires; Firing; Petri nets; Protocols; Servers;
Conference_Titel :
IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society
Conference_Location :
Glendale, AZ
Print_ISBN :
978-1-4244-5225-5
Electronic_ISBN :
1553-572X
DOI :
10.1109/IECON.2010.5675312
