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

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 pr...

Full description

Saved in:
Bibliographic Details
Published in2015 14th International Symposium on Distributed Computing and Applications for Business Engineering and Science (DCABES) pp. 30 - 33
Main Authors Zhi Zhong, Wenjing Li, Yijuan Su, Ze-Yu Tang
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.08.2015
Subjects
Analytical models
functional classification
Invariable Place
Multi-core PC
parallel algorithm
Parallel algorithms
Parallel analysis
Partitioning algorithms
Petri nets
Petri nets conversion
Process control
Program processors
Servers
Online AccessGet full text

Cover

More Information
Summary: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.
DOI:10.1109/DCABES.2015.15