Petri Net Modeling of SIP of Traversing NAT Based on STUN

摘要：

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 reachability analysis .In this way,the paper clearly and intuitively showed the voice communication process between the private network hosts by SIP protocol.

关键词： STUN NA T SIP Petri net modeling

作者: Meng Xiao-jing Chen Rui

作者单位: College of Information Science and Engineering Shandong University of Science and Technology Qingdao,China

会议类型: 国际会议

会议名称: 2012 International Conference on Computer Science and Electronic Engineering(2012 IEEE计算机科学与电子工程国际会议 ICCSEE 2012)

会议地点: 杭州

会议语种:英文

页码: 134-138

在线出版日期: 2012-03-23（万方平台首次上网日期，不代表论文的发表时间）