Study and Realization on the Partitioning Algorithm of Parallel Subnet of Petri Net System
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-invariantbased 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-invariantbased 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.
Petri net place invariant parallel subnet partitioning conditions partitioning algorithm
Wen-jing LI Xiang-bo Zhang Yingzhou BI Xuan Wang
School of Logistics Management and Engineering Guangxi Teachers Education University Nanning,China College of Computer and Information Engineering Guangxi Teachers Education University Nanning,China
国际会议
贵阳
英文
58-61
2015-08-18（万方平台首次上网日期，不代表论文的发表时间）