| 基于Petri网的协议并行化处理模型的描述和验证 |
| |
| 引用本文： | 顾冠群,姜爱泉.基于Petri网的协议并行化处理模型的描述和验证[J].计算机学报,1996,19(11):867-870. |
| |
| 作者姓名： | 顾冠群 姜爱泉 |
| |
| 作者单位： | 东南大学计算机科学与工程系 |
| |
| 基金项目： | 国家自然科学基金,国家教委博士点基金 |
| |
| 摘 要： | 本文提出了一个ＯＳＩ／ＲＭ运输层协议并行处理模型，以适应协议的高效处理，根据模型特点，使用Ｐｅｔｒｉ网作为形式化描述工具，对该模型进行描述，分析和验证。
|
| 关 键 词： | Petri网 并行处理 形式化描述 形式化验证 |
FORMAL SPECIFICATION AND VERIFICATION OF PROTOCOL'S PARALLEL PROCESSING MODEL USING PETRI NETS |
| |
| Gu Guanqun, Jiang Aiquan and Luo Junzhou.FORMAL SPECIFICATION AND VERIFICATION OF PROTOCOL''''S PARALLEL PROCESSING MODEL USING PETRI NETS[J].Chinese Journal of Computers,1996,19(11):867-870. |
| |
| Authors: | Gu Guanqun Jiang Aiquan and Luo Junzhou |
| |
| Abstract: | |
| |
| Keywords: | Petri net parallel processing formal specification and verification |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
