| 高性能网络协议的Petri网模型 |
| |
| 引用本文： | 沈俊,罗军舟,周润芳,伍俊明.高性能网络协议的Petri网模型[J].淮海工学院学报,1999(1). |
| |
| 作者姓名： | 沈俊 罗军舟 周润芳 伍俊明 |
| |
| 作者单位： | 东南大学计算机系!南京210096(沈俊，周润芳，伍俊明)，东南大学计算机系!南京210096美国纽约科学院中国计算机学会Petri网专委会(罗军舟) |
| |
| 基金项目： | 国家自然科学基金，863项目 |
| |
| 摘 要： | Petri网是协议形式化描述的优选模型．本文对高性能协议进行了深入的研究．并针对高性能协议更高的形式化描述要求．分别从语文、同步特征、模块化．层次比、对象化等方面进行了Petri同的特性分析．最后给出了用Petri网描述的快捷运输协议（XTP）的实例．
|
| 关 键 词： | 高性能协议 XTP Petri网 形式化描述 |
Petri Net Models of High Performance Network Protocols |
| |
| Shen Jun, Luo Junzhou, Zhou Runfang, Wu Junming.Petri Net Models of High Performance Network Protocols[J].Journal of Huaihai Institute of Technology:Natural Sciences Edition,1999(1). |
| |
| Authors: | Shen Jun Luo Junzhou Zhou Runfang Wu Junming |
| |
| Affiliation: | Dept of Computcr Scicnce and Engincering Southeast University Nanjing 210096 |
| |
| Abstract: | Petri net is one of the best modelling tools in the formal specification for protocols. According to the higher requirement of HPN Protocol's formal speciflcahon, this paper analyzes the charateristics of Petri net from aspects of the semantics. synchronization, modularization, hierarchy and object,and makes it a thorough study. At lasl, it gives an example of the petri net specification for eXpress Transport Protocol. |
| |
| Keywords: | High Performance Protocol XTP PetriNet Formal Specification |
| 本文献已被 CNKI 等数据库收录！ |
