M. Bago, N. Peric and S. Marijan, “Modeling Wire Train Bus Communication Using Timed Colored Petri Nets,” Proceedings of SICE Annual Conference, Tokyo, 20-22 August 2008, pp. 2905-2910. doi:10.1109/SICE.2008.4655160

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.