检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]广西师范学院计算机与信息工程学院,南宁530023 [2]广西师范学院物流管理与工程学院,南宁530299
出 处:《现代计算机(中旬刊)》2016年第4期12-17,23,共7页Modern Computer
基 金:国家自然科学基金(No.61163012);广西科技开发项目(桂科攻1598010-3)
摘 要:为了求解复杂Petri网系统的并行算法,解决Petri网系统的模拟运行和验证,提出一种基于多核机群的Petri网并行模型。首先,依据时延Petri网模型的特点,提出并行划分的方法,对划分的子网进行并行性分析;其次,根据多核机群结构和MPI+OpenMP编程模型的特点,对机群的传输方式和任务分配等方面进行改进;然后,将多核机群的结构模型与Petri网的并行子网进行融合,提出一种新的多核机群的Petri网并行模型。并在新模型的基础上,提出一种新的Petri网系统的并行算法。最后,通过实例分析和仿真试验。实验结果表明。基于该模型的并行算法与基于多核PC的OpenMP或MPI的模型的算法比较,在仿真效果、运行速度都获得更优的效果。因此,该模型是Petri网并行化一种有效的模型。For solving parallel algorithms of complex Petri net system, and solving the simulation for the Petri net system and verification, proposes a Petri net parallel model based on multi-core cluster. First, based on the characteristics of time-delay Petri net model, proposes parallel division method, and running parallel analysis over subnets. Second, based on the architecture of multi-core cluster and characteristics of MPI+Open MP programming model, makes prove for cluster in transmission phase, task distribution phase and other aspects. Then, merges the structural model of multi-core cluster with Petri net's parallel subnets, to propose a new Petri net model of multi-core cluster. And based on the new model, proposes a new Petri net system parallel algorithm. Finally, makes a case analysis and simulation. Experimental results shows that, comparing with Open MP or MPI model algorithm based on multi-core PC, the parallel algorithm based on this model get better results on both simulation results and running speed. Therefore, this model is an efficient model for Petri net parallelization.
分 类 号:TP393.0[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.70