@article{(Open Science Index):https://publications.waset.org/pdf/910,
	  title     = {Modeling of Session Initiation Protocol Invite Transaction using Colored Petri Nets},
	  author    = {Sabina Baraković and  Dragan Jevtić and  Jasmina Baraković Husić},
	  country	= {},
	  institution	= {},
	  abstract     = {Wireless mobile communications have experienced
the phenomenal growth through last decades. The advances in
wireless mobile technologies have brought about a demand for high
quality multimedia applications and services. For such applications
and services to work, signaling protocol is required for establishing,
maintaining and tearing down multimedia sessions. The Session
Initiation Protocol (SIP) is an application layer signaling protocols,
based on request/response transaction model. This paper considers
SIP INVITE transaction over an unreliable medium, since it has been
recently modified in Request for Comments (RFC) 6026. In order to
help in assuring that the functional correctness of this modification is
achieved, the SIP INVITE transaction is modeled and analyzed using
Colored Petri Nets (CPNs). Based on the model analysis, it is
concluded that the SIP INVITE transaction is free of livelocks and
dead codes, and in the same time it has both desirable and
undesirable deadlocks. Therefore, SIP INVITE transaction should be
subjected for additional updates in order to eliminate undesirable
deadlocks. In order to reduce the cost of implementation and
maintenance of SIP, additional remodeling of the SIP INVITE
transaction is recommended.},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {6},
	  number    = {1},
	  year      = {2012},
	  pages     = {43 - 50},
	  ee        = {https://publications.waset.org/pdf/910},
	  url   	= {https://publications.waset.org/vol/61},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 61, 2012},
	}