基于颜色Petri网的TCP协议模拟和分析被引量：3

Modeling and Analyzing TCP Protocol with CPN

下载PDF

导出

摘要 TCP协议是目前广泛使用的一种可靠的网络传输协议.TCP协议的分析和改进一直是研究的热点,由于协议的复杂性,协议的形式化描述是其中的难点.文章用颜色Petri网及其工具CPN/tool对简化的TCP协议进行建模和分析,对协议中各种动态关系有较好的刻画,分析了协议的不足,减少了利用一般Petri网系统(如P/T系统)模拟复杂系统的难度.

作者徐誉尹吴哲辉

机构地区山东科技大学

出处《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期62-65,共4页 Journal of System Simulation

基金国家自然科学基金资助课题(60173053)

关键词 TCP协议三次握手颜色PETRI网

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

引文网络
相关文献

参考文献5

1汪齐贤.TCP／IP协议分析[J].北方交通大学学报,1995,19(1):112-117. 被引量：3
2杨燚,王钢.TCP/IP协议问题透析[J].计算机应用研究,2001,18(7):118-124. 被引量：4
3金庆华.TCP/IP传输层协议剖析[J].计算机与现代化,1998(1):8-13. 被引量：3
4罗万明,林闯,阎保平.TCP/IP拥塞控制研究[J].计算机学报,2001,24(1):1-18. 被引量：196
5李秀,姜澄宇,王宁生,冷晟.一种面向对象的Petri网[J].南京航空航天大学学报,1999,31(2):192-197. 被引量：17

二级参考文献15

1吕海寰.美国军事卫星通信系统的现状与发展[J].军事通信技术,1994,15(3):1-12. 被引量：5
2吴耀华,颜永年,曾庆宏.基于Petri网模型的物流系统建模[J].机械工业自动化,1996,18(3):6-8. 被引量：19
3胡春华,吴波,刘琦,杨叔子.基于Petri网的离散制造过程建模工具[J].华中理工大学学报,1996,24(9):28-31. 被引量：5
4袁崇义.Petri网[M].东南大学出版社,1989.. 被引量：30
5郭庆平,叶俊全.TCP/IP协议结构分析[J].交通与计算机,1997,15(2):34-36. 被引量：2
6吴耀华，机械工业自动化，1996年，18卷，9期，6页被引量：1
7费翔林，小型微型计算机系统，1996年，17卷，1期，20页被引量：1
8袁崇义，Petri网，1989年被引量：1
9谢希仁等.计算机网络[M]电子工业出版社,1994. 被引量：1
10周明天,汪文勇.TCP/IP网络原理与技术[M]清华大学出版社,1993. 被引量：1

共引文献217

1李明,杨晋生.TCPS-jump:卫星信道拥塞控制新算法[J].华中科技大学学报（自然科学版）,2003,31(S1):31-33. 被引量：2
2张东辉,王庆辉,魏立峰.Ad hoc无线网络中的拥塞控制研究[J].仪器仪表学报,2005,26(z1):486-487. 被引量：1
3李菊兵,宗平.拥塞避免中一种新的RED算法研究[J].科技资讯,2008,6(3):228-229.
4杜兴勇,张秀萍.TCP拥塞的产生及相应控制机制[J].通化师范学院学报,2001,22(5):38-39.
5尹洪,洪玫,曾明,冷江,王卓.基于RTCP的实时流式传输拥塞控制算法[J].云南大学学报（自然科学版）,2008,30(S2):235-240. 被引量：4
6田小元.基于遗传算法的多约束QoS选播路由算法[J].科技信息,2009(1):507-508.
7徐明,祖友华,赵伟伦.基于主动队列管理的互联网拥塞控制研究[J].沈阳工程学院学报（自然科学版）,2009,5(1):62-63. 被引量：1
8金诚,沈宏华,张小龙,朱平国,李中权,崔国平.面向过程控制的科研管理模式研究与应用[J].航天制造技术,2013(4):9-12. 被引量：1
9曹春平,王宁生,王岩.基于UML和Petri网的I-MES建模研究[J].机械科学与技术,2004,23(9):1093-1098. 被引量：2
10许彦伟,王志良,李正熙,殷玉祥,马云.TCP over卫星的拥塞控制及跳动窗口算法[J].微计算机信息,2004,20(6):101-103. 被引量：3

同被引文献18

1周必水,郦泓.有色Petri网在通信协议中的应用[J].系统仿真学报,2003,15(z1):112-113. 被引量：5
2张亚崇,孙国基,严海蓉,钟联炯.分布式交互仿真中一种新的数据分发管理算法的研究[J].系统仿真学报,2005,17(1):91-94. 被引量：7
3胡广,宋薇.基于RUDP的可靠数据传输研究与应用[J].交通与计算机,2006,24(1):87-90. 被引量：3
4方贤文,吴哲辉,刘士喜.时延Petri网分布式模拟的先行值研究[J].计算机科学,2006,33(4):240-243. 被引量：1
5成都科技大学合编.高分子化学及物理学[M].北京:轻工业出版社,1981,2.122,146. 被引量：3
6林永兰.硬聚氯乙烯塑料成型加工[M].上海:上海科学技术出版社,1983,8.. 被引量：2
7K.C.明斯格尔费多谢耶娃著(苏联) 马文杰黄子铮译.聚氯乙烯的降解与稳定[M].北京:轻工业出版社,1985,5.2.18-22. 被引量：2
8吴哲辉.Petri网理论与系统模拟[M].北京:中国矿业大学出版社,1989. 被引量：5
9Jensen K.Coloured petri nets[M].Berlin Heidelberg:Springer-Verlag,1996. 被引量：1
10Hyett M,Wuerfel R.Implementation of the data distribution management services in the RTI-NG[C]//Simulation Interoperability Workshop,March 2002. 被引量：1

引证文献3

1方贤文,许志才,殷志祥.基于颜色Petri网和Lookahead的数据分发管理研究[J].计算机工程与应用,2007,43(24):97-99.
2何中阳,李鸥,杨白薇,刘洋.基于TCPN的TCP协议形式化描述[J].计算机工程,2011,37(18):77-80. 被引量：1
3赵福奎,卢雷.基于CPN的RUDP建模与分析[J].计算机工程,2012,38(20):290-292. 被引量：1

二级引证文献2

1陈波,陶威,王运明.基于ARUDP的指挥控制网络数据传输协议[J].火力与指挥控制,2016,41(4):157-160. 被引量：9
2马晓娟.SIP协议的分层TCPN建模[J].电脑知识与技术,2016,0(9):35-36.

1刘宏立,何诚,丁钟琦.总线网络协议模拟方法研究[J].大自然探索,1990,9(3):77-88.
2臧海波.MakeyMakey水果钢琴背后的故事[J].无线电,2015,0(5):32-36.
3李志飞,万麟瑞,潘曙光.WAP在TCP/IP网络上的协议模拟方法[J].小型微型计算机系统,2001,22(6):679-682. 被引量：2
4王振中,关媛,陆建德,陆佰林.基于NS2仿真平台的Ad hoc新路由协议的模拟[J].计算机仿真,2007,24(4):139-144. 被引量：4
5王永平,许春香.基于电子钱包的电子支付协议[J].中国科技信息,2005(18A):27-28. 被引量：2
6王绍斌,洪帆,朱贤.一种新的基于电子现金的电子商务模型与协议[J].计算机工程与应用,2004,40(17):32-35. 被引量：5
7刘姣姣.TCP/IP网络协议模拟及其可视化[J].现代计算机（中旬刊）,2011(12):64-67.
8周筱瑜,雷晓俊,陈芳.分布式系统中的通信方式:RPC与RMI[J].电脑与电信,2012(3):36-39. 被引量：2
9林超.基于Android的校园信息化移动查询平台的设计与实现[J].微型电脑应用,2014,30(10):11-13. 被引量：3
10王鹏,白建军,卢泽新.卫星网络协议的仿真与模拟技术研究[J].计算机工程与科学,2004,26(5):4-6. 被引量：5

系统仿真学报

2005年第z1期

浏览历史

内容加载中请稍等...

基于颜色Petri网的TCP协议模拟和分析被引量：3

参考文献5

二级参考文献15

共引文献217

同被引文献18

引证文献3

二级引证文献2

相关作者

相关机构

相关主题

浏览历史

基于颜色Petri网的TCP协议模拟和分析 被引量：3

参考文献5

二级参考文献15

共引文献217

同被引文献18

引证文献3

二级引证文献2

相关作者

相关机构

相关主题

浏览历史

基于颜色Petri网的TCP协议模拟和分析被引量：3