| 网络协议工程中的Petri网技术 |
| |
| 引用本文： | 冷淑霞,巨同升.网络协议工程中的Petri网技术[J].山东理工大学学报,2005,19(1):84-87. |
| |
| 作者姓名： | 冷淑霞 巨同升 |
| |
| 作者单位： | 山东理工大学计算机教学部，山东淄博255049 |
| |
| 摘 要： | 按照OSI／RM模型的层次，论述了Petri网在网络协议工程中的研究进展情况，并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法，最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析．
|
| 关 键 词： | 有色Petri网 网络协议 协议工程 数据链路层 协议验证 描述 通信协议 OSI／RM 对数 角度 |
| 文章编号： | 1672-6197(2005)01-0084-04 |
| 修稿时间： | 2003年12月18 |
Technique of Petri net on network protocol engineering |
| |
| LENG Shu-xia,JU Tong-sheng.Technique of Petri net on network protocol engineering[J].Journal of Shandong University of Technology:Science and Technology,2005,19(1):84-87. |
| |
| Authors: | LENG Shu-xia JU Tong-sheng |
| |
| Abstract: | According to OSI/RM layers,the recent research advance is summarized in network protocol engineering.Then fundamental methodologies for Petri net based protocol engineering in protocol specification,verification and analysis are given.At last,a data link layer protocol-Stop-and-Wait communication protocol is described and analyzed using colored Petri net. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
