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

• 作者: 乔如良 张兆庆 蒋昌俊
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 并行程序 设计方法 Petri网 组合法 精炼法
• 年，卷（期）: 1998,（1）
• 所属期刊栏目: 研究通讯
• 页码范围: 28-32
• 页数: 5页
• 分类号: TN91
• 字数: 1675字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-0470.1998.01.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张兆庆	中国科学院计算技术研究所国家智能机中心	64	430	11.0	17.0
2	蒋昌俊	中国科学院计算技术研究所国家智能机中心	4	43	3.0	4.0
3	乔如良	中国科学院计算技术研究所国家智能机中心	12	112	6.0	10.0