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

作     者：蒋昌俊 张兆庆 乔如良 Jiang Changjun;Zhang Zhaoqing;Qiao Ruliang

作者机构：中国科学院计算技术研究所国家智能机中心 

基　　金：国家自然科学基金 

出 版 物：《高技术通讯》 (Chinese High Technology Letters)

年 卷 期：1998年第8卷第1期

页      码：28-32页

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

主 题 词：并行程序 设计方法 Petri网 组合法 精炼法 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-0470.1998.01.008

馆 藏 号：203733010...