Petri Net Modeling of SIP of Traversing NAT Based on STUN

Author

Meng Xiao-jing ; Chen Rui

Author_Institution

Coll. of Inf. Sci. & Eng., Shandong Univ. of Sci. & Technol., Qingdao, China

Volume

3

fYear

2012

fDate

23-25 March 2012

Firstpage

134

Lastpage

138

Abstract

Petri net is widely used in the simulation and analysis of the discrete event systems because of the features such as intuition, simplicity and understandability. The paper used Petri net to model and analyse SIP protocol of traversing NAT. Firstly the paper proposed using STUN to implement the NAT traversal of SIP protocol and simply introduced the advantages of Petri net modeling, then introduced the related knowledge of SIP and NAT and pointed out the impact of NAT on SIP protocol, and then detailedly described the SIP session interaction process of traversing NAT based on STUN, finally this process was modeled using Petri net and further made the reach ability analysis. In this way, the paper clearly and intuitively showed the voice communication process between the private network hosts by SIP protocol.

Keywords

IP networks; Petri nets; discrete event simulation; discrete event systems; signalling protocols; Petri net modeling; SIP protocol; SIP session interaction process; STUN; discrete event systems; private network hosts; reachability analysis; traversing NAT; Analytical models; Educational institutions; IP networks; Media; Process control; Protocols; Servers; NAT; Petri net modeling; SIP; STUN;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Electronics Engineering (ICCSEE), 2012 International Conference on

Conference_Location

Hangzhou

Print_ISBN

978-1-4673-0689-8

Type

conf

DOI

10.1109/ICCSEE.2012.295

Filename

6188183