V. Gehlot and A. Hayrapetyan, “A CPN Model of a SIP-Based Dynamic Discovery Protocol for Webservices in a Mobile Environment,” Proceedings 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, 24-26 October 2006, pp. 1-20.

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.