A Generalized Stochastic Petri Net-Based Verification of Session Initiation Protocol and its Performance Analysis
Jizeng Wang · Jisuanji fangzhen · 2007
On the basis of the process of Session Initiation Protocol's service,generalized stochastic Petri net model of SIP was established. Through the analysis of reachability and invariant the protocol was proved to be boundedness,deadlock free,liveness and conservativeness. Moreover,Markov chain of the model was constructed. In terms of properties of generalized stochastic Petri net and mathematical theory,performance of the protocol is analyzed,which was given to verify the feature of the protocol. This paper was of great academic value to solve the problem of SIP's application.