Abstract
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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
