Parallelism Analysis and Algorithm Design of Petri Net

摘要

To solve the parallelism algorithm of Petri network system with parallel feature and implementing paralleling control and execution of Petri network, we propose the analysis and algorithm design of Petri network process. Based on employing P-invariants to partition the function of Petri network system, we firstly analyzed the situations of parallelism between processes, checked the effects of the transition behavior on processes' parallelism, and analyzed the transition behavior in the internal processes under various forms of process. Finally, by combining Parallelism of transition between inter-process and inner-process, we designed the parallelism algorithm for the processes of Petri network system, validated and analyzed it in practical examples. The experiment showed that the analysis and algorithm of Petri network processes' parallelism are feasible and effective so that it is a useful method to control and execute Petri network processes concurrently.