基于广义随机Petri网的SIP的吞吐量性能研究

Research on Throughput of Session Initiation Protocol Based on Generalized Stochastic Petri Net

下载PDF

导出

摘要基于模型方法和软件仿真方法,对会话初始化协议(SIP)连接建立时的吞吐量进行了性能分析。首先在详细分析会话初始化协议(SIP)的服务工作过程的基础上,建立了SIP的广义随机Petri网模型(SPN),利用工具SPNP6.0进行了模拟分析。考察协议建立会话过程中,网络建立连接请求数较少和连接请求压力较大时系统吞吐量的变化,从而可以针对不同的连接请求情况实施相应的SIP服务策略。

作者杨鹏包广斌鲁江

机构地区兰州理工大学电气与信息工程学院兰州理工大学计算机与通信学院甘肃广播电视大学教育技术中心

出处《甘肃广播电视大学学报》 2010年第3期59-62,共4页 Journal of Gansu Radio & Television University

基金甘肃省自然科学基金(2007GS04107)

关键词会话初始化协议广义随机PETRI网吞吐量性能分析

分类号 TP393 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

参考文献4

1黎波涛,罗军舟.不可否认协议的Petri网建模与分析[J].计算机研究与发展,2005,42(9):1571-1577. 被引量：11
2陈智波,徐明伟,崔勇,徐恪.OSPF协议的随机Petri网模型与性能分析[J].清华大学学报（自然科学版）,2006,46(4):572-575. 被引量：3
3杜彦华,刘春煌,曹松.行车安全综合监控系统的时序Petri网描述及验证[J].铁道学报,2005,27(4):11-15. 被引量：5
4赵建立,商瑞强,赵林亮,王光兴.多元化网络管理协议的Petri网模型及其验证(英文)[J].系统仿真学报,2005,17(7):1664-1666. 被引量：3

二级参考文献41

1Murata M. Petri nets: properties, analysis and applications[J]. Proceedings of the IEEE, 1989,77(4):541-580.
2Stirling C. Model and temporal logics[M]. Oxford: Oxford University Press, 1992.
3Felder M, Mandrioli D, Morzenti A. Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models[J]. IEEE Transactions on Software Engineering, 1994, 20(2):120-152.
4Suzuki I. Formal analysis of the alternating bit protocol by temporal Petri nets[J]. IEEE Transactions on Software Engineering, 1990, 16(11):1273-1281.
5Suzuki I, Lu H. Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter[J]. IEEE Transactions on Computers, 1989,38(5):696-704.
6Berthomieu B, Diaz M. Modeling and verification of time dependent systems using time Petri nets[J]. IEEE Transactions on Software Engineering, 1991,17(3):259-273.
7G. Norman, V. Shmatikov. Analysis of probabilistic contract signing. In: Proc. BCS-FACS Formal Aspects of Security (FASec'02). New York: Springer-Verlag, 2002. 81～96.
8L. Buttyun, J. P. Pierre Hubaux, S. Capkun. A formal analysis of Syverson' s rational exchange protocol. In: Proc. the 15th IEEE Computer Security Foundations Workshop. Nova Scotia,Canada: Cape Breton, 2002. 24～26.
9S. Kremer, J. F. Raskin. Formal verification of non-repudiation protocols-A game approach. Formal Methods for Computer Security (FMCS 2000), Chicago, USA, 2000.
10M. Abadi, B. Blanchet. Computer-assisted verification of a protocol for certified email. The 10th Int'l Symposium (SAS'03), San Diego, California, 2003.

共引文献15

1罗文辉.基于带抑制弧时间Petri网的CNC软件模型[J].华中科技大学学报（自然科学版）,2006,34(6):63-66.
2顾冠群,罗军舟.Some Issues on Computer Networks:Architecture and Key Technologies[J].Journal of Computer Science & Technology,2006,21(5):708-722. 被引量：2
3黄天福,白光伟.颜色Petri网一种专有协议的描述和验证[J].系统仿真学报,2007,19(A01):62-64. 被引量：1
4杨鹏,袁占亭,王继曾.基于广义随机Petri网的SIP的验证和性能分析[J].系统仿真学报,2007,19(A01):151-154. 被引量：1
5魏星,隋新.SIP协议的形式化分析与验证[J].桂林航天工业高等专科学校学报,2009,14(1):63-67.
6唐明伟,宋文,叶剑虹.发送-接收问题的Petri网建模与验证[J].电子科技大学学报,2007,36(S3):1457-1460. 被引量：1
7罗伟,刘全,胡志根.基于工序排队的RCC坝施工Petri网耦合模型仿真[J].系统仿真学报,2009,21(19):6280-6283. 被引量：4
8曹松,马千里,蒋荟,刘春煌.超偏载集中监控系统的研究[J].铁道学报,2010,32(3):136-141. 被引量：5
9刘云,郑红.基于Petri网的数字家庭无线射频协议研究[J].计算机应用与软件,2011,28(10):89-92. 被引量：1
10白云莉,叶新铭.基于Petri网的密码协议形式化建模[J].计算机科学,2012,39(8):70-74. 被引量：1

1张俊星,张纪会,张宏勋.基于规则专家系统的广义随机Petri网仿真分析模型[J].系统仿真学报,1998,10(2):41-46. 被引量：4
2汤玥,苏威,李蜀瑜.AADL模型到广义随机Petri网的转换工具[J].现代电子技术,2015,38(12):62-65. 被引量：2
3王永翔,王立德.基于广义随机Petri网的MVB网络吞吐性能分析[J].北京交通大学学报,2008,32(5):98-101. 被引量：8
4方丹,卢慧卿,连光耀,陈卫荣.基于广义随机Petri网的并行自动测试系统性能分析研究[J].计算机测量与控制,2012,20(3):651-653. 被引量：1
5姜宏,高电波,孙晓颖.交换机过载控制机理Petri网模型的仿真求解方法[J].系统仿真学报,2001,13(z1):128-130.
6林琳,蒋昌俊.基于广义随机Petri网的交通信息系统建模与分析[J].计算机学报,2005,28(1):81-87. 被引量：15
7张根保,高田,李冬英,王扬.装配可靠性的模糊广义随机Petri网建模与分析[J].计算机应用研究,2015,32(3):723-726.
8司玉娟,郎六琪,王万树,戴逸松.广义随机 Petri 网用于计算机网络的 SNA 窗式控制[J].吉林工业大学学报,1998,28(1):39-44.
9张为舟,胡金柱.消防信息系统中电子地图子系统的广义随机Petri网工作流模型研究[J].计算技术与自动化,2006,25(2):85-87.
10李忠勇,李人厚.计算机网络的Petri网建模及性能指标评估[J].微机发展,1995,5(5):11-16. 被引量：2

甘肃广播电视大学学报

2010年第3期

浏览历史

内容加载中请稍等...

基于广义随机Petri网的SIP的吞吐量性能研究

参考文献4

二级参考文献41

共引文献15

相关作者

相关机构

相关主题

浏览历史