Verification of Session Initiation Protocol Using Petri Nets

Abstract—The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, On the basis of the process of Session Initiation Protocol's service, Petri net model of SIP was established. In this paper, we use Petri Nets (PNs) to model and analyze SIP, in terms of properties of Petri net and the analysis of reachability tree, the protocol was proved to be security.