Research and Implementation of Petri Nets Parallelization Model
Xuan Wang, Wenjing Li, Ze-Yu Tang, Weizhi Liao · 2014
In order to solve parallel algorithm of Petri net system with concurrent functions and implement parallel control and execution of Petri net, parallel programming model of Petri net based on multi-core clusters is put forward. First, P-invariant technology is used to do the functional division of Petri net system and the parallel analysis of Petri net process. Next, based on architecture of multi-core cluster and combined with parallelism of Petri net process, Petri net system model is constructed. Simultaneously, parallel algorithm of Petri net system is raised. Finally, under the environment of multi-core cluster, the simulation experiment of parallel algorithm is done. The experimental results show that parallel algorithm based on Petri net system model is correct and feasible. The model can effectively simulate the actual operation of the system and is an effective model of Petri net parallelization system.