International Journal of Communications, Network and System Sciences

Vol.4 No.3(2011), Paper ID 4249, 10 pages

DOI:10.4236/ijcns.2011.43021

 

Verification of Session Initiation Protocol Using Timed Colored Petri Net

 

Safiye Kızmaz, Mürvet Kırcı

 

 

Copyright © 2011 Safiye Kızmaz, Mürvet Kırcı et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article

S. Kızmaz and M. Kırcı, "Verification of Session Initiation Protocol Using Timed Colored Petri Net," International Journal of Communications, Network and System Sciences, Vol. 4 No. 3, 2011, pp. 170-179. doi: 10.4236/ijcns.2011.43021.
Journals Menu
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1655362766
Paper Publishing WeChat

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.