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 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.
Multi-core PC Petri nets conversion Invariable Place functional classification Parallel analysis parallel algorithm
Zhi Zhong Wenjing LI Yijuan SU Ze-yu Tang
School of Logistics Management and Engineering Guangxi Teachers Education University Nanning,China College of Computer and Information Engineering Guangxi Teachers Education University Nanning,China
国际会议
贵阳
英文
30-33
2015-08-18（万方平台首次上网日期，不代表论文的发表时间）