网络协议工程中的Petri网技术

Technique of Petri net on network protocol engineering

下载PDF

导出

摘要按照OSI/RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop and Wait通信协议进行描述分析. According to OSI/RM layers,the recent research advance is summarized in network protocol engineering.Then fundamental methodologies for Petri net based protocol engineering in protocol specification,verification and analysis are given.At last,a data link layer protocol-Stop-and-Wait communication protocol is described and analyzed using colored Petri net.

作者冷淑霞巨同升

机构地区山东理工大学计算机教学部

出处《山东理工大学学报（自然科学版）》 CAS 2005年第1期84-87,共4页 Journal of Shandong University of Technology:Natural Science Edition

关键词有色PETRI网网络协议协议工程数据链路层协议验证描述通信协议 OSI/RM 对数角度 protocol engineering protocol formal description protocol verification and analysis Petri net

分类号 TP393 [自动化与计算机技术—计算机应用技术] TN915.04 [电子电信—通信与信息系统]

引文网络
相关文献

参考文献12

1林闯,张元生.基于随机高级Petri网的ATM网络接纳控制过程模型[J].通信学报,1998,19(12):1-7. 被引量：6
2顾冠群,罗军舟.EPr／TN网系统及网络协议形式描述技术[J].计算机学报,1994,17(A00):93-96. 被引量：8
3Diaz M.Petri net based models in the specification and verification of protocols[J].Petri Nets:Applications and Relationships to other Models of Concurrency.LNCS 255,Berlin:Springer-Verlag,1988:135-170.
4Billington J.Protocol engineering and nets[C].In:Proceedings of the 8th European Workshop on Application and Theory of Perti Nets,Zaragoza,1987.137-156.
5Kelling C.Modeling priorities in token protocols with timed Petri nets[J].International Journal of Mini and Microcomputers,1995,17(1):35-41.
6Bettaz M. On Reusing ATNet Models in Protocols Specification[J].Journal of System Software,1994,27(2):119-128.
7Souissi Y.Towards a modular specification and verification of protocols within layered architectured[J].IFIP Transaction on C:Communication System,1994,C-22:35-50.
8Hui J Y.Client-Server synchronization and buffering for variable rate multimedia retrievals[J].IEEE Journal on Selected Areas in Communications,1996,14(1):226-237.
9Basyouni A M.New approach to crytographic protocol analysis using colored Petri nets[C].In:Proc.Canadian Conference on Electrical and Computer Engineering,1997.25-28.
10罗军舟,沈俊.同步网系统：一个高层协议的Petri网模型[J].软件学报,1997,8(A00):202-210. 被引量：2

二级参考文献6

1林闯,吴建平,王鼎兴.随机高级Petri网用于计算机网络传输协议的模型与性能评价[J].通信学报,1994,15(6):9-16. 被引量：8
2顾冠群，OSI计算机网络研究论文集，1991年
3袁崇义，PETRI网，1989年
4林闯，IEEE Trans Computs，1988年，37卷，7期，815页
5林闯，Microelectron Reliab，1991年，31卷，4期，747页
6林闯,张彤.一种生成具有变量标识的高级Petri网可达树的算法[J].计算机学报,1991,14(8):596-604. 被引量：2

共引文献12

1王晓媛,左风朝.一种优化数据链路层协议的Petri网模型及分析[J].现代电子技术,2009,32(11):83-86. 被引量：1
2沈金龙,潘理,孙亚民.基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现[J].南京理工大学学报,1998,22(6):532-535.
3梁冰,王全来.谓词/转移网系统及其在密钥分配协议中的应用[J].郑州轻工业学院学报,1999,14(1):10-13.
4林闯.多媒体信息网络QoS的控制[J].软件学报,1999,10(10):1016-1024. 被引量：44
5林闯,单志广,盛立杰,吴建平.Internet区分服务及其几个热点问题的研究[J].计算机学报,2000,23(4):419-433. 被引量：109
6陈冰鑫,邱保志.聚类消息中间件构造技术[J].计算机应用,2012,32(5):1425-1428. 被引量：2
7罗军舟,seu.edu.cn,沈俊,顾冠群.从Petri网到形式描述技术和协议工程[J].软件学报,2000,11(5):606-615. 被引量：41
8姜宏,莫秀玲.广义随机Petri网对交换机过载控制机理研究[J].长春邮电学院学报,2000,18(3):34-38. 被引量：2
9黄卫东,于瑞强.云计算环境下基于Petri网的流程计费模型[J].北京邮电大学学报,2013,36(1):31-35. 被引量：2
10曾建潮,范小芹,谭瑛.基于EPr/TN网系统的异构网络集成研究[J].太原重型机械学院学报,2002,23(3):233-240.

1史美林,朱劲松.网络协议工程概述[J].中国计算机用户,1990(9):20-23.
2曲成义.面对严峻挑战网络信息安全必须采取果断措施[J].信息安全与通信保密,2001(4):16-19.
3陈振团.开放系统互连／参考模型——网络层[J].福建技术监督,1997(3):7-9.
4陈振团.开放系统互连／参考模型——传输层[J].福建技术监督,1997(4):39-40.
5石铁峰,罗宗航.通信网络中的流量控制[J].南宁师范高等专科学校学报,2004,21(1):91-93.
6段玉宏.OSI／RM中MHS的浅析[J].电信交换,1993(2):7-10.
7李文宏.7号信令与OSI/RM的关系[J].江西通信科技,2000(1):18-20.
8陈振团.开放系统互连／参考模型—数据链路层[J].福建技术监督,1997(2):49-51.
9陈振团.开放系统互连／参考模型—物理层[J].福建技术监督,1997(1):47-49.
10曹阳,张维明,沙基昌,徐磊.Petri网在通信网络仿真建模中的应用[J].计算机仿真,2001,18(3):38-41. 被引量：9

山东理工大学学报（自然科学版）

2005年第1期

浏览历史

内容加载中请稍等...

网络协议工程中的Petri网技术

参考文献12

二级参考文献6

共引文献12

相关作者

相关机构

相关主题

浏览历史