基于多核机群的Petri网并行算法的研究与实现

项目名称： 基于多核机群的Petri网并行算法的研究与实现

项目编号： No.61163012

项目类型： 地区科学基金项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 李文敬

作者单位： 广西师范学院

项目金额： 48万元

中文摘要： 目前，并行算法被广泛应用于大量数值问题的求解。但是，对存在并发功能问题的并行算法研究成果缺乏。为此，我们根据Petri网系统具有并发功能的特点，对Petri网并行算法进行研究，具有非常重要的意义。首先对Petri网系统的结构、行为、功能进行静态分析，同时对多核PC和多核机群的多线程、多进程并行设计方法进行研究，提出新的并行模型和编程模式。然后，根据库所不变量技术对Petri网系统进行并行化研究，提出P/T网并行化功能划分的策略、条件、原则和完备性性质；再对P/T网系统的进程内和进程间的并行性进行研究，提出P/T网系统并行化模型。在此基础上，结合多核机群的并行新方法，提出多核PC和多核机群的Petri并行算法；最后，以自动物料处理车间的Petri柔性制造系统为例，对多核PC和多核机群的并行算法编程实现，模拟自动物料处理Petri网系统的实际运行过程，验证并行算法的可行性和有有效性。

中文关键词： 多核机群；并行编程模型；Petri网转换与功能划分；并行化理论；并行算法

英文摘要：

英文关键词： Multi-core Cluster；Parallel Programming Model；Petri Nets Transform and Function Partition；Parallelization Theory；Parallel Algorithm