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, P- invariants the solving process and it's 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.