| 通信协议形式验证中的Petri网方法 |
| |
| 引用本文： | 杨一平,杨润生,王敬觉.通信协议形式验证中的Petri网方法[J].湖南农业大学学报(自然科学版),1989,16(2). |
| |
| 作者姓名： | 杨一平 杨润生 王敬觉 |
| |
| 作者单位： | 湖南大学计算机科学系
(杨一平，杨润生)，湖南大学计算机科学系(王敬觉) |
| |
| 摘 要： | Petri网,尤其是扩充类的Petri网对通信协议有很强的模拟能力.同时,Petri网能支持十分有效的验证技术.本文分析了需要验证的协议性质,提出了用线性不变量和标志机状态法全面分析这些性质的综合验证方法,并给出了对HDLC通信协议的验证实例.
|
| 关 键 词： | Petri网 形式验证 通信协议 |
Petri Net Method for the Formal Verification of Communication Protocols |
| |
| Yang Yiping Yang Runsheng Wang Jinjue.Petri Net Method for the Formal Verification of Communication Protocols[J].Journal of Hunan Agricultural University,1989,16(2). |
| |
| Authors: | Yang Yiping Yang Runsheng Wang Jinjue |
| |
| Institution: | Yang Yiping Yang Runsheng Wang Jinjue Department of Computer Science |
| |
| Abstract: | Petri nets, especially the extended Petri nets, have a great capacity of modeling communication protocols and can support the verification techniques very efficiently. After a discussion of various properties of the protocols to be verified, this paper pr |
| |
| Keywords: | Petri nets formal verification communication protocols |
|
| 点击此处可从《湖南农业大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《湖南农业大学学报(自然科学版)》下载免费的PDF全文 |
