论文部分内容阅读
会话启动协议SIP作为推荐的Internet会议和VoIP信令控制协议，在RFC中没有严格地给出其行为的形式化模型。论文利用确定与随机Petri网(deterministic and stochastic Petri nets，DSPN)给出了SIP核心事务的形式化模型，为进一步的协议分析和实现奠定了基础。