Research on Petri Nets Parallel Algorithm Based on Multi-core PC

Abstract

In order to make the concurrency, synchronism function of Petri nets system capable of parallel control and Simulation Implementation, proposed Petri network switching system, function partition method based on Multi-core PC. Firstly, according to the Petri nets system of parallel process and its principle, analysis of advanced Petri nets and P/T network algebra model and its inner mechanism, Given the process and theory verification of advanced Petri nets into P/T nets, Based on the network model Formalization and Color Petri nets correlation matrix pretreatment, proposed colored Petri nets into P/T nets algorithm. Then, P/T nets function division according to invariable Place technique, classification into subnets having different functions (process), analysis and expansion of the P/T nets system process conditions, and gives examples of authentication, Get P/T nets functional partitioning algorithm based on non-negative invariable Place, On this basis, Research process concurrency, synchronization parallel with implementation, put forward Petri nets parallel algorithm based on Multi-core PC, Given Petri nets parallel algorithms and application examples In the environment of Multi-core PC. Experimental results show that, Petri nets parallel algorithms based on Multi-core PC let Petri nets system to better reflect the actual running, and Is an effective method to achieve Petri net system parallel control and simulation run.