L. G. Ding and L. Liu, “Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets,” Proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Xi’an, Vol. 5062, 23-27 June 2008, pp. 132-151.

has been cited by the following article:

• TITLE: Verification of Session Initiation Protocol Using Timed Colored Petri Net

  AUTHORS: Safiye Kızmaz, Mürvet Kırcı

  KEYWORDS: Session Initiation Protocol, Timed Colored Petri Nets, Protocol Verification, CPN Tool

  JOURNAL NAME: International Journal of Communications, Network and System Sciences, Vol.4 No.3, March 10, 2011

  ABSTRACT: In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for Voiceover-Internet Protocol (VoIP) communications. SIP is based on a client–server infrastructure in which user agents represent the end-terminals as clients, proxy servers handle SIP message routing between the user agents, and registrar servers store the client’s contact information into a location service. By use of timed color set and useful time attributes in tokens defined in CPN tools, timer and time-related problems of SIP are modeled and analyzed. Timer is an important part for SIP, especially the INVITE transaction.