【摘要】 为了求解复杂Petri网系统的并行算法,解决Petri网系统的模拟运行和验证,提出一种基于多核机群的Petri网并行模型。首先,依据时延Petri网模型的特点,提出并行划分的方法,对划分的子网进行并行性分析;其次,根据多核机群结构和MPI+OpenMP编程模型的特点,对机群的传输方式和任务分配等方面进行改进;然后,将多核机群的结构模型与Petri网的并行子网进行融合,提出一种新的多核机群的Petri网并行模型。并在新模型的基础上,提出一种新的Petri网系统的并行算法。最后,通过实例分析和仿真试验。实验结果表明。基于该模型的并行算法与基于多核PC的OpenMP或MPI的模型的算法比较,在仿真效果、运行速度都获得更优的效果。因此,该模型是Petri网并行化一种有效的模型。更多还原

【Abstract】 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.更多还原