Model And Algorithm Of Petri Nets Parallelization Based On Multi-core Cluster

Petri net is a systemic tool for mathematical,graphical modeling and analysis.It is particularly suitable for modeling with simultaneous,concurrent,conflict of discrete event systems, and is widely used in designing and analysis of distributed parallel processing, discrete events,flexible manufacturing and other complex systems.Currently,the prototype Petri nets,collored Petri nets,timed Petri net model and other various built systems are all focus on static analysis and research of structure,behavior and function;and the performance of functions,behavior or other dynamic functions about systems need to be shown by using system simulation or animation.Multi-core cluster is an advanced computing platform,we can get more reliable effect by using it to run system simulation.Therefore,the research on Petri net systems parallelization method has very important significance in providing efficient parallel methods for real Petri net system implementation and operation.Main work of this paper is shown below:First,according to the theory of Petri net,proposed parallel classification method based on P-invariant.And proposed solutions about the case that place-invariant only have zero solution in the algorithm.Second,carry on a research on complex Petri net model,combine with the P/T characteristics,propose the method of transforming from complex Petri net to P/T net,providing pretreatment for parallel dividing complex Petri nets.Third,establish a complete parallel Petri nets model,and find parallel model for the parallel execution of the algorithm. Base on the characteristics of the algorithm, introduce multi-core cluster architecture, through the study of parallel architecture and parallel programming model, proposed a program model cater to the algorithm---MPI+OPenMP+STM three-layer model.Fourth,combine the multi-core cluster and Petri net parallel division algorithm,based on multi-core cluster to propose the Petri net parallel algorithm.Finally,verify the algorithm by experiments.This paper proposed Petri net parallel model and algorithm by giving research on Petri net parallelism and complex Petri net structural features;And combining this model with multi-core cluster parallel system and parallel programming models,proposed perti net net parallel model an algorithm based on multi-core cluster.After four programming experiment on four different structural Petri net by applying multi-core cluster Petri net parallel algorithm, all results are correct.Three comparative experiments on serial,MPI and OPenMP are carried out and the result showed that the algorithm which is proposed by this paper using shortest time.Thus, the parallel multi-core cluster of Petri nets is feasible and effective.