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

基于数据链路层协议的Petri网模型分析与验证

Analysis and Verification the Petrinet Model of the Data Link Protocol
下载PDF
导出
摘要 在计算机网络结构中,对数据链路层的分析研究是非常重要的。一般的方法验证这些协议的正确性是复杂的。Petri网既有严格的数学理论依据,又有直观的图形表示方法,对于确定一个协议的正确性非常有帮助。本文以Petri网作为工具,建立了数据链路层几个协议的模型,以模型为基础对协议进行分析,为协议的正确性提供了分析手段。 It is very importante that analysis and study date link in computer net constrution.Use the conventional method to verification of these protocols are complex.The petri net both have strict mathematical theory and intuitive graphical representation,so it is helpful to ensual whether a protocol is work or not.This paper use petri net as a tool to establish several models of a data link layer protocol,analysis the protocol based on the model,provide a new mothed to analysis the accuracy of the protocol.
作者 田广 张彦
机构地区 军械工程学院 石家庄职业技术学院
出处 《煤炭技术》 CAS 北大核心 2010年第9期207-208,共2页 Coal Technology
关键词 可达性 数据链路协议 PETRI网 reachability data link layer Petri nets
分类号 TP39 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献2

二级参考文献21

  • 1[1]N Bhatti, R Friedrich. Web Server Support for Tiered Services [J]. IEEE Network (September/October 1999), 64-71.
  • 2[2]J Alemeida, M Dabu, A Manikutty, P Cao. Providing Differentiated Level of Service in Web Content Hosting [A]. in: Proc. 1998 SIGMETRICS Workshop on Internet Server Performance [C]. IEEE Press, Piscataway, NJ, 1998.
  • 3[3]R Pandey, J F Barnes, R Olsson. Supporting Quality of Service in HTTP servers [A]. in: Proc. 17th Annual SIGACT-SIGOPS Symp. on Principles of Distributed Computing [C]. 1998, 247-256.
  • 4[4]P Bhoj, S Ramanathan, S Singhal. Web2K: Binging QoS to Web servers [Z]. Hewlett-Packard Laboratories Technical Report HPL- 2000- 61, May 2000.
  • 5[5]M E Crovella, R Frangioso, M Harchol-Balter. Connection Scheduling in Web Servers [A]. in: Proc. 1999 USENIX Symp. on Internet Technology and Systems (USITS '99) [C]. Boulder, Colorado, 1999, 243-254.
  • 6[6]N Bansal, M Harchol-Balter. Analysis of SRPT Scheduling: Investigating Unfairness [A]. in: Proc. ACM Sigmetrics 2001 Conf. on Measurement and Modeling of Computer Systems [C]. Boston, MA, June 2001.
  • 7[7]G Banga, P Druschel, J C Mogul. Resource Containers: A New Facility for Resource Management in Server Systems [A]. in: Proc. 3rd USENIX Symp. on Operating Systems Design and Implementation (OSDI) [C]. New Orleans, LA, 1999.
  • 8[8]T Abdelzaher, N Bhatti. Web Server QoS Management by Adaptive Content Delivery [A], in: Proc. 7th Int. Workshop on QoS [C], 1999.
  • 9[9]C Lu, T Abdelzaher, J Stankovic, S Son. A Feedback Control Approach for Guaranteeing Relative Delays in Web Servers [A], in: Proc. IEEE Real-Time Technology and Applications Symposium [C], TaiPei, Taiwan, 2001.
  • 10[10]Hewlett-Packard Company, HP WebQoS Technology Overview [Z], White Paper, http://www.webqos.hp.com/infolibrary/whitepapers/ qos2_ whitepaper.pdf

共引文献1

煤炭技术
2010年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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