Article citationsMore>>

Y.-S. Huang, T.-H. Chung and J.-H. Lin, “A Timed Coloured Petri Net Supervisor for Urban Traffic Networks,” IMACS Multiconference on Computational Engineering in Systems Applications, Beijing, Vol. 2, 4-6 October 2006, pp. 2151-2156.

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.