基于时延Petri网的并行程序的分析

• 作者: 方贤文 洪永发
• 来源期刊: 安徽理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 时延变迁Petri网 并行程序 分割 逻辑进程
• 年，卷（期）: 2006,（1）
• 页码范围: 70-74
• 页数: 5页
• 分类号: TP301.4
• 字数: 2904字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-1098.2006.01.017

摘要

在分析并行程序时,很多问题需要考虑,如通信、同步、数据划分和分配、负载平衡、容错、异构、死锁及竞争等问题,采用一般方法是很困难的.时延Petri网能够很好地描述这些问题,使并行程序的分析变得简单,且有利于并行程序的分割.给出了并行程序的时延Petri网建模方法,并对一个实例进行了分析,得出了并行程序的Petri网模型,对并行程序的分析及验证打下了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方贤文	安徽理工大学数理系	124	250	10.0	12.0
2	洪永发	同济大学电子与信息工程学院	6	6	1.0	2.0