Research on Petri nets parallelization the functional divided conditions
In order to solve the parallel algorithm for Petri nets system with concurrent function,to realize the parallel control and execution of the Petri nets,the Petri nets parallel subnets conditions were proposed,that provides the theory basis for judging P-invariant whether was the parallel subnet.Firstly,we according to the concurrent character of Petri net model,to analyze the parallelism of Petri net system,Pinvariants the solving process and its subnet division were given; Secondly,the Petri nets parallel subnets conditions were proposed,gives P-invariant constituted of Petri net parallel subnets decision theorem,and the theoretical proof and example verification; Finally,A Petri net parallel subnet division algorithm based on P-invariants were given.Theoretical validate and experimental result shows that Petri nets parallel subnets conditions set and divided algorithm were correct and effective.
Petri nets P-invariant parallel subnet divided condition division algorithm
Wenjing LI Shuang LI Zhong-ming Lin 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
国际会议
英国伦敦
英文
50-54
2013-09-02（万方平台首次上网日期，不代表论文的发表时间）