| 一种基于Petri网通信协议的分析和验证 |
| |
| 引用本文： | 王晶,樊晓桠,曹清.一种基于Petri网通信协议的分析和验证[J].计算机应用,2005,25(1):165-167. |
| |
| 作者姓名： | 王晶 樊晓桠 曹清 |
| |
| 作者单位： | 西北工业大学计算机学院 |
| |
| 摘 要： | 基于一个PDA项目,介绍了自行设计的利用固定电话网进行信息传输的一套通信协议。用Petri网抽象描述了一系列代表性链路层协议模型,并借助Petri网模拟工具对模型进行修正和改进,得到可实际工程应用的协议模型。
|
| 关 键 词： | Petri网 通信协议 冲突 协议验证 |
| 文章编号： | 1001-9081(2005)01-0165-03 |
Analysis and validation of communication protocol based on Petri Net |
| |
| WANG Jing,FAN Xiao-ya,CAO Qing.Analysis and validation of communication protocol based on Petri Net[J].journal of Computer Applications,2005,25(1):165-167. |
| |
| Authors: | WANG Jing FAN Xiao-ya CAO Qing |
| |
| Affiliation: | nstitute of Computer Science, Northwest Polytechnical University |
| |
| Abstract: | Based on a PDA project, a communication protocol which communicated through PSTN was introduced. Then, a series of representative link layer protocol models using Petri net were described abstractly. By the direction of Petri net emulation tool, these models were modified and improved gradually. Finally, a protocol model which could be applied in the practical work was achieved. |
| |
| Keywords: | Petri Net communication protocol conflict protocol validation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
