-
题名基于时延Petri网的并行程序的分析
- 1
-
-
作者
方贤文
洪永发
-
机构
安徽理工大学数理系
同济大学电子与信息工程学院
-
出处
《安徽理工大学学报(自然科学版)》
CAS
2006年第1期70-74,共5页
-
基金
国家自然科学基金资助项目(60173053)
安徽理工大学青年科学基金资助项目
+1 种基金
安徽理工大学博
硕士基金资助项目
-
文摘
在分析并行程序时,很多问题需要考虑,如通信、同步、数据划分和分配、负载平衡、容错、异构、死锁及竞争等问题,采用一般方法是很困难的。时延Petri网能够很好地描述这些问题,使并行程序的分析变得简单,且有利于并行程序的分割。给出了并行程序的时延Petri网建模方法,并对一个实例进行了分析,得出了并行程序的Petri网模型,对并行程序的分析及验证打下了基础。
-
关键词
时延变迁petri网
并行程序
分割
逻辑进程
-
Keywords
timed transition petri nets (ttpn)
parallel program
partitioning
logical process
-
分类号
TP301.4
[自动化与计算机技术—计算机系统结构]
-
-
题名基于时延Petri网数据并行问题的分析
- 2
-
-
作者
方贤文
-
机构
安徽理工大学数理系
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第10期49-51,共3页
-
基金
国家自然科学基金资助项目(编号:60173053)
-
文摘
Petri网作为一种直观的图形建模工具和一种具有丰富数学基础的形式模型,非常适合描述具有并发、异步和分布特征的系统。数据并行即将相同的操作同时作用于不同的数据,利用时延变迁Petri网来分析数据并行问题,可以找出具有相同操作的结构,这对于数据并行问题在并行机上进行模拟有很大好处。
-
关键词
时延变迁petri网
数据并行
进程
模拟
-
Keywords
timed transition petri nets(ttpn),data parallel,process,simulation
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-