期刊文献+

基于高级Petri网的OSI网络协议描述与验证 被引量:4

SPECIFICATION AND VERIFICATION OF OSI NETWORK PROTOCOL BASED ON HIGH-LEVEL PETRI NETS
下载PDF
导出
摘要 本文对OSI参考模型进行了全面的分析,并介绍了一种高级Petri网,称为EPr/T网系统,该系统可作为OSI网络协议的形式描述工具.然后,利用EPr/T网系统对(N)层通信协议进行了形式描述,并阐明了OSI网络协议形式描述的一般方法.最后,对协议的有界性。 This paper completely analyzes the OSI Reference Model and introduces a high-level Petri net called EPr/T net system,which is served as the formal specification tool of OSI network protocol.Afterwards,a formal specification of(N)protocol using EPr/T net system is given,and the general methods for the specification of OSI network protocol are outlined.At last,it is verified that the protocol has the properties of boundedness,liveness,reversibleness and etc.
作者 吴时霖 王利
出处 《计算机学报》 EI CSCD 北大核心 1994年第8期588-595,共8页 Chinese Journal of Computers
关键词 PETRI网 OSI网络协议 通信协议 Petri net,network protocol,boundedness
  • 相关文献

同被引文献26

  • 1胡晓辉,周兴社,党建武.一种基于多代理分布约束系统结构框架[J].甘肃科学学报,2004,16(4):74-78. 被引量:3
  • 2Jensen Kurt.An introduction to the practical use of colored petrinets[M].New York: Springer-Verlag, 1997. 被引量:1
  • 3John Hill R.Louisa.Bond.Modelling Moving-Block Railway Signalling Systems Using Discrete-Event Simulation [A].Proceedings of ASME/IEEE Joint Railroad Conference[C].Sydney,Australia,1995.105-111. 被引量:1
  • 4Fall K,Varahan K. The ns Manual[EB/OL]. http://www. isi. edu/nsnam/ns. 2002-05. 被引量:1
  • 5Perkins C E, Bhagwat P. Highly Dynamic Destination-Sequenced Distance Vector Routing (DSDV) for Mobile Computers[-A-]. Proc of the Conf on Communications Architectures, Protocols and Applications[C]. 1994. 234-244. 被引量:1
  • 6US Military Standard, MIL-STD-188-141B, Interoperability and Performance Standards for Medium and High Frequency Radio Systems[S]. 1999. 被引量:1
  • 7Johnson D B,Maltz D A. Dynamic Source Routing in Ad Hoe Wireless Networks[A]. Imielinski T,Korth H, eds. Mobile Computing[M]. Kluwer Academic Publishers, 1996. 153-181. 被引量:1
  • 8Perkins C E,Royer E M. Ad-Hoe On-Demand Distance Vector Routing[A]. Proe of the 2nd IEEE Workshop on Mobile Computing Systems and Applications[C]. 1999.90-100. 被引量:1
  • 9Park V D,Corson M S. The Temporally-Ordered Routing Algorithm (TORA) [R]. IETF MANET Working Group, 1997. 被引量:1
  • 10Shakkottai S,Rappaport T S,Karlsson P C. Cross-Layer Design for Wireless Networks [J]. IEEE Communications, 2003,40(10) :74-80. 被引量:1

引证文献4

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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