Title: 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.
Publication Year: 2015
Publication Date: 2015-08-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot