Sip协议的petri网建模及性能验证

Petri Net Model of Session Initiation Protocol and Its capability Verification

sip的petri网模型建立在会话初始协议服务过程的基础之上。通过对petri网性能和可达性树的分析,证明该协议是有效的、无死锁的、活的。此外,考虑到协议的重复性和稳妥性,分析可达性和不变性来验证协议的正确性。该协议的设计思想是减少风险的同时解决sip应用中的问题。

On the basis of the process of Session Initiation Protocol＇s service, Petri properties of Petri net and the analysis of teachability tree, the protocol was proved Moreover, considering the protocol＇s repetitiveness and conservativeness, the analysis the correctness of the protocol, which lessened the risk in the design of protocol as net model of SIP was established. In terms of to be houndedness, deadlock free and liveness. of teachability and invariant was given to verify well as was of great value to solve the problem of SIP＇s application.