Y. Peng, Z. Yuan and J. Wang, “Petri Net Model of Session Initiation Protocol and Its Verification,” Proceedings of the IEEE International Conference on Wireless Communications, Networking and Mobile Computing, Shanghai, 21-25 September 2007, pp. 1861-1864.

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.