基于 PN 的并行程序设计方法  

The Design of Parallel Program Based on PN Machine

作　　者：蒋昌俊[1] 张兆庆[1] 乔如良[1] 

机构地区：[1]中国科学院计算技术研究所国家智能机中心

出　　处：《高技术通讯》1998年第1期28-32,共5页Chinese High Technology Letters

基　　金：国家自然科学基金

摘　　要：首先分析了并行程序的特点，在此基础上，提出并行程序设计的若干Ｐｅｔｒｉ网方法。这些方法在一定程度上有助于减少或避免一些逻辑错误的出现，从而减轻了程序验证的负担。最后通过例子显示了这些方法的作用。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.

关 键 词：并行程序 设计方法 PETRI网 组合法 精炼法 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]