| 基于PN的并行程序设计方法 |
| |
| 引用本文： | 蒋昌俊,张兆庆,乔如良. 基于PN的并行程序设计方法[J]. 高技术通讯, 1998, 8(1): 28-32 |
| |
| 作者姓名： | 蒋昌俊 张兆庆 乔如良 |
| |
| 作者单位： | 中国科学院计算技术研究所国家智能机中心,北京,100080 |
| |
| 摘 要： | 首先分析了并行程序的特点，在此基础上，提出并行程序设计的若干Ｐｅｔｒｉ网方法。这些在一定程度上助于减少或避免一些逻辑错误的出现，从而减轻了程序验证的负担。最后通过例子显示了这些方法的作用。
|
| 关 键 词： | 并行程序 设计方法 Petri网 组合法 精炼法 |
The Design of Parallel Program Based on PN Machine |
| |
| Jiang Changjun,Zhang Zhaoqing,Qiao Ruliang. The Design of Parallel Program Based on PN Machine[J]. High Technology Letters, 1998, 8(1): 28-32 |
| |
| Authors: | Jiang Changjun Zhang Zhaoqing Qiao Ruliang |
| |
| Abstract: | Based on an analysis of some characterizations of parallel program, some Petri net methods of design parallel program are proposed. A lot of logical errors can be reduced or avoided to a certain extent with these methods and the task of program verification is reduced. Last, the role of these methods is shown by several examples. |
| |
| Keywords: | Parallel program Design method Petri net Combination method Refiniment method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
