基于广义随机Petri网的SIP的验证和性能分析

摘要：

在给出会话初始化协议(SIP)的服务工作过程的基础上,建立了SIP的广义随机Petri网模型(GSPN),利用广义随机Petri网坚实的数学基础和分析技术完成对会话初始化协议的分析验证和性能分析。通过可达性分析、S_不变量分析和T_不变量分析验证了会话初始化协议的有界性、活性、守恒性和循环性.并且构造出与广义随机Petri模型同构的马尔可夫链,基于马尔可夫链的稳定状态概率进行系统性能分析.对会话初始化协议相关研究以及解决实际问题具有一定的理论价值。

关键词： 会话初始化协议 广义随机Petri网 协议验证 不变量分析 马尔可夫链 T不变量

作者: 杨鹏 袁占亭 王继曾

作者单位: 兰州理工大学电气与信息工程学院 甘肃兰州 730050 兰州理工大学计算机与通信学院 甘肃兰州 730050

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 151-154,157

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）