Study and Realization on the Partitioning Algorithm of Parallel Subnet of Petri Net System

Abstract

In order to solve the problem about the partition of Petri net model and subnet division, realize the concurrent execution or simulation runs of Petri net system, the partitioning algorithm of parallel subnet of Petri net is proposed. First, as Petri net system has the characteristics of synchronization and concurrence, provide the place-invariant based Petri net model partitioning and subnet division conditions and parallelizing analysis, put forward the extended theorem and validation of partitioning condition of parallel subnet, then, provide the formalization of subnet division and the solving process of place invariant and place-invariant based partitioning algorithm of parallel subnet of Petri net. The experimental results show that the partitioning algorithm of parallel subnet of place-invariant-based Petri net is feasible and effective.