Colored Petri Net model of the Session Initiation Protocol (SIP)
Vijay Gehlot, Carmen Nigro · 2010
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.