期刊文献+

基于Petri网的协议分析技术及工具 被引量:4

The Research on the Analysis Tool and Technology for the Petri Net-based Network Protocol
下载PDF
导出
摘要 研究基于 Petri网的协议分析技术及工具并对要开发的协议分析器工具软件进行需求分析和人机交互界面设计 ,进而阐述该工具主要功能模块实现的思路和算法 ,并将其应用于对 AB通讯协议的描述和性能测试分析 。 With the studying on the techniques and tool of the Petri Nets based network protocol specifications and analyses,the paper analyzes the demands of the P/T Net based analyzer and designs the human machine form.Then the paper outlines the algorithms and the ideas of main function modules.When describing,analyzing and testing a P/T net example about the AB network protocol with the protocol analyzer,the protocol analyzer is proved to be effective.
作者 邓莹 古天龙
出处 《桂林电子工业学院学报》 2002年第1期6-11,共6页 Journal of Guilin Institute of Electronic Technology
关键词 PETRI网 协议分析器 AB通讯协议 P/T网 关联矩阵 可达树 可覆盖性树 不变量 protocol analyzer,P/T net,reachable tree,coverability tree,incidence martix,invariants,AB protocol
  • 相关文献

参考文献8

二级参考文献12

共引文献73

同被引文献33

  • 1王兰芹,沙静,徐颖蕾.Petri网在传输协议中的应用[J].山东科技大学学报(自然科学版),2004,23(3):56-58. 被引量:2
  • 2顾冠群,罗军舟.EPr/TN网系统及网络协议形式描述技术[J].计算机学报,1994,17(A00):93-96. 被引量:8
  • 3Diaz 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.
  • 4Billington J. Protocol Engineering and Nets[A]. Proceedings of the 8th European Workshop on Application and Theory of Perti Nets[C]. Zaragoza, 1987 : 137 - 156.
  • 5Kelling C. Modeling Priorities in Token Protocol Swith Timed Petrinets [J]. International Journal of Mini and Microcomputers, 1995,17 (1) : 35 - 41.
  • 6[美]Andrew S Tanenbaum.Computer Networks[M].4版.北京:清华大学出版社,2004.
  • 7Jonathan Lee, Senior Member. Modeling Uncertainty Reasoning With Possibilistic Petri Nets[J]. IEEE TRANSACTION ON SYSTEMS MAN AND CYBERNETICS- PART B: CYBERNETICS,2003,33(2).
  • 8Shen R L. Reinforcement Learning for High - Level Fuzzy Petri Nets[J]. IEEE TRANSACTION ON SYSTEMS MAN AND CYBERNETICS- PART B: CYBERNETICS,2003,33(2).
  • 9WANG Shengyuan, YU Jian, YUAN Chongyi. A Pragmatic Bahavior Subtyping Relation Based on Both States and Actions[J]. Computer Science and Technology,2001(9) :418-425.
  • 10Manuel Silva, Laura Recalde. Petri Nets and Integrality Relaxations:A View of Continuous Petri Net Models[J]. IEEE TRANSACTION ON SYSTEMS MAN AND CYBERNETICS - PART C: CYBERNETICS, 2002,32 (4).

引证文献4

二级引证文献24

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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