基于着色Petri网的TCP协议的形式化描述及验证

Formal Description and Verification of TCP Protocol Based on Colored Petri Net

下载PDF

导出

摘要根据着色Petri网的建模的方法和工具CPNTool,对TCP协议的连接建立模块建立了着色Petri网模型,得到了可达树,通过可达树的方法对协议模型的正确性进行验证。 According to the methods of building model in colored Petri net and CPN tool, reachability tree is abtained as well as building a formal model of connection construct model in TCP Protocol on colored Petri. By the method, reachability tree, the validity of the model in the TCP Protocol is verified.

作者李菲

机构地区阜新高等专科学校

出处《现代计算机》 2009年第6期49-52,共4页 Modern Computer

关键词 TCP协议着色PETRI网形式化描述可达树 TCP Protocol Colored Petri Net Formal Description Reachability Tree

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

引文网络
相关文献

参考文献6

1罗军舟,顾冠群.协议描述和验证的基本方法[J].东南大学学报（自然科学版）,1996,26(5):1-4. 被引量：3
2周必水,郦泓.有色Petri网在通信协议中的应用[J].系统仿真学报,2003,15(z1):112-113. 被引量：5
3Bing Han,Jonathan Billington.Experience Using Colored Petri Nets to Model TCP's Connection Management Procedures[J].Computer Systems Engineering CentreUniversity of South Australian.
4张广泉,黄正宝,戎玫.网络协议形式化模型的分析与应用[J].计算机工程与应用,2005,41(23):121-124. 被引量：1
5Yongwei Wang,Shaowen Yao,Ying Zhao.CPN Modeling and Analysis of L2TP.Computer Network and Mobile Computing,2001 (10):81-288.
6胡瑜.基于Petri网理论的并行自动测试系统建模型研究.电子科技大学学报,2003,:47-53.

二级参考文献15

1顾冠群,罗军舟.基于高级Petri网的OSI网络协议形式描述[J].计算机工程,1993,19(4):47-51. 被引量：2
2[2]葛玮,等.一种基于Petri网的半形式化面向对象的开发方法[R].第三届CIMS学术会议,1994.
3[3]P.J.Palli. Execution of structured analysis specification with object- oriented Petri nets approach. Proc. 1988 Intern. Conf.. on Computer [M]. 1988,286-293.
4[4]Lars M. Kristensen, S_ren Christensen, Kurt Jensen. The practitioner's guide to coloured Petri nets [M]. CPN Group, Department of Computer Science, University of Aathus, Denmark; Iht J STTT 1998, 98-132.
5Cheung To-ya.Petfi nets for protocol engineering[J].Computer Communications, 1996; 19:1250-1257.
6Lamport L.the Temporal Logic of Actions[J].Acm Trans on Prog Lang, 1994; 16(3) :872-923.
7Tang CS.A Temporal Language oriented Toward Software Engineering- An Introduction to XYZ system[J].Chinese J of Advanced Software Research, 1994 ; 1 ( 1 ) : 1-29.
8Manna Z,Pnueli A.The Temporal Logic of Reactive and Concurrent System:Specification[M].New York:Springer-Verlag, 1992.
9Fenner W.Intemet Group Management Protocol (Version 2 ) [S].RFC 2236,1997-11.
10Deering S.Host Extensions for IP Multicasting[S].RFCll12,1989-08.

共引文献6

1王兰芹,沙静,徐颖蕾.Petri网在传输协议中的应用[J].山东科技大学学报（自然科学版）,2004,23(3):56-58. 被引量：2
2王继曾,曹志强,周隽.基于有色Petri网模型的OSPF路由性能分析[J].兰州理工大学学报,2007,33(2):97-99. 被引量：2
3范昊,吴哲辉.基于CPEBSDL通信协议的Petri网建模方法[J].计算机工程,2008,34(6):16-21.
4何中阳,李鸥,杨白薇,刘洋.基于TCPN的TCP协议形式化描述[J].计算机工程,2011,37(18):77-80. 被引量：1
5石立宝,张舒,姚良忠,倪以信,Masoud Bazargan.蚁群-条件禁忌混合计算智能算法的Petri网路径寻优[J].系统仿真学报,2011,23(11):2400-2405. 被引量：3
6张生财.基于有色Petri网的TCP协议建模与分析[J].企业导报,2012(8):290-290.

1邢金桦,汤军社.基于着色Petri网和面向对象技术的FMS中物流系统建模与仿真[J].机械制造,2014,52(5):41-44. 被引量：2
2李海涛,杨波,尹晓玲,王兴祖,姚孔.基于设计结构矩阵和着色Petri网的产品设计过程建模与仿真[J].中国机械工程,2014,25(1):108-117. 被引量：4
3车万方,张凤鸣,田涛.基于结构化的C^3I体系结构着色Petri网建模方法[J].系统工程与电子技术,2002,24(11):84-86. 被引量：4
4朱筱筱,董路明.着色Petri网在UML建模中的应用[J].现代图书情报技术,2004(2):37-41. 被引量：4
5王霞,赵峰.SIP协议的着色Petri网模型及仿真[J].泰州职业技术学院学报,2010,10(1):11-13.
6王晓媛,左风朝.基本数据链路层协议的Petri网模型分析与优化[J].中国科技信息,2005(23A):63-63.
7饶冬青,李晓欧,徐心和.基于面向对象着色Petri网FMS仿真软件[J].系统仿真学报,1999,11(2):104-107. 被引量：5
8梁晓珺.基于着色Petri网的QoS驱动服务合成建模及应用[J].中山大学研究生学刊（自然科学与医学版）,2006,27(1):121-132.
9田国会.自动化仓库输送调度问题的建模与控制研究[J].控制与决策,2001,16(4):447-451. 被引量：10
10詹瑾瑜,熊光泽,桑楠.针对SoC设计正确性和时间性的形式化协同验证方法(英文)[J].四川大学学报（工程科学版）,2005,37(2):93-98. 被引量：1

现代计算机

2009年第6期

浏览历史

内容加载中请稍等...

基于着色Petri网的TCP协议的形式化描述及验证

参考文献6

二级参考文献15

共引文献6

相关作者

相关机构

相关主题

浏览历史