Study on Function Partition Strategy of Petri Nets Parallelization
In order to solve the parallel algorithm for Petri net system with concurrent function,to realize the parallel control and execution of Petri net,two different functional partition strategies based on P-invariant and T-graph are proposed for the parallel algorithm of Petri net system.Firstly,after the analysis of Petri net model and concurrent function,the basic idea of P/T network system function of parallel is proposed.Secondly,algebraic method of P-invariant and homogeneous linear equations are used to describe the P/T net parallel mathematical model and its formal process; the Petri net parallel function partition strategy based on P-invariants,model segmentation,conditions of creating process,and parallelization analysis are given with theoretical proof and example verification.Then the concept of T-graph is defined from the perspective of transition; the subnet partition principle,subnet partition conditions on Petri net model and parallelization analysis are put forward with theoretical proof and example verification.Finally,the natures of these two kinds of Petri net function partition strategy: the P-invariant and T-graph are compared; their advantages and disadvantages are evaluated.Hence,efficient partition strategy is provided for Petri nets parallelization.
Petri net parallelization P-invariant T-graph partition strategy
Wenjing LI Shuang LI Shuju Li Weizhi LIAO
College of Computer and Information Engineering Guangxi Teachers Education University Nanning,China College of Mathematics Physics and Information Engineering Jiaxing University Jiaxing,China
国际会议
英国伦敦
英文
89-94
2013-09-02（万方平台首次上网日期，不代表论文的发表时间）