分层TCPN模型下SIP协议的分析

在《电脑知识与技术》2016年9月刊《SIP协议的分层TCPN建模》一文中,作者论述了SIP协议的分层TCPN建模,本文结合若干模型分析技术验证了此协议的正确性。经分析,指出可能出现死锁,并分析了死锁原因。最后针对协议的设计又提出了相应的优化措施。