DocumentCode
1848911
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
fYear
2010
fDate
7-10 Nov. 2010
Firstpage
2150
Lastpage
2155
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;
fLanguage
English
Publisher
ieee
Conference_Titel
IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society
Conference_Location
Glendale, AZ
ISSN
1553-572X
Print_ISBN
978-1-4244-5225-5
Electronic_ISBN
1553-572X
Type
conf
DOI
10.1109/IECON.2010.5675312
Filename
5675312
Link To Document