期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

EPr／TN网系统及网络协议形式描述技术 被引量：8

EPr/TN NET SYSTEM AND THE FORMAL DESCRIPTION TECHNIQUE OF NETWORK PROTOCOLS
下载PDF
导出
摘要 本文形式定义了一种谓词／变迁网ＥＰｒ／ＴＮ网系统，作为网络协议的形式描述技术（ＦＤＴ），并用ＥＰｒ／ＴＮ形式描述了ＡＢ协议． In the paper,the authors formally define a predicate/transition net called EPr/TN (Extended Predicate/Transition Net) system, which serves as a formal description technique (FDT) for network protocols. A formal speification of AB protocol using EPr/TN is also given.
作者 顾冠群 罗军舟
机构地区 东南大学计算机科学系
出处 《计算机学报》 EI CSCD 北大核心 1994年第A00期93-96,共4页 Chinese Journal of Computers
关键词 EPr/TN网系统 网络协议 形式描述 Petri net, EPr/TN, FDT, AB protocol
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献2

  • 1顾冠群，OSI计算机网络研究论文集，1991年
  • 2袁崇义，PETRI网，1989年

同被引文献35

  • 1徐晶,许炜.消息中间件综述[J].计算机工程,2005,31(16):73-76. 被引量：83
  • 2赵锦蓉.通信协议转换器及其构造[J].软件学报,1995,6(2):90-98. 被引量：10
  • 3David J Stang 程佩青等（译）.计算机网络安全奥秘[M].电子出版社,1994..
  • 4沈俊 罗军舟 等.计算机网络安全的一种Petri网模型[J].西北大学学报,1997,27:57-60.
  • 5范小芹 曾发潮 等.基于EPr／TN网的改进PAR协议的描述和分析[J].计算机科学,2001,28:108-111.
  • 6Diaz M. Petrinet Based Modelsinthes Pecification Andverification of Protocols[A]. PetriNets: Applications and Relationships to other Models of Concurrency [C]. Berlin: Springer - Verlag, 1988 : 135 - 170.
  • 7Billington J. Protocol Engineering and Nets[A]. Proceedings of the 8th European Workshop on Application and Theory of Perti Nets[C]. Zaragoza, 1987 : 137 - 156.
  • 8Kelling C. Modeling Priorities in Token Protocol Swith Timed Petrinets [J]. International Journal of Mini and Microcomputers, 1995,17 (1) : 35 - 41.
  • 9[美]Andrew S Tanenbaum.Computer Networks[M].4版.北京:清华大学出版社,2004.
  • 10Diaz 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.

引证文献8

二级引证文献8

计算机学报
1994年 第A00期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部