Research on Petri Net System Parallel Subnet Partitioning Completeness Theory and Algorithm

Citation metadata

Date: June 2019
Publisher: Springer
Document Type: Report
Length: 334 words

Document controls

Main content

Abstract :

Byline: Wenjing Li (1,2), Songzhao Li (3), Jianbo Lu (2) Keywords: Petri net; parallelization; partitioning conditions; completeness; partitioning algorithm; TP 393 Abstract: In order to solve the parallel algorithm of Petri net system with concurrent function, so as to achieve the parallel control and simulation operation of this system, this paper proposes the function partition completeness theory and algorithms of Petri net parallelization, thereby providing the theoretical support for the realization of Petri parallel algorithms. Firstly, according to the concurrent characteristics of Petri net model, we analyze the parallelism of Petri net system then, by giving the solving process of place invariants and the function partitioning of Petri net, we propose the function partitioning conditions and determination theorem of Petri net parallelization, and conduct its theoretical proof and practical verification. On this basis, we conduct the theoretical study and analysis on the situation that Petri net system has several kinds of parallel function partitioning, propose the completeness theorem of parallelism function partitioning in Petri net system, and verify it. Finally, we give the algorithms, application examples and simulation experiment results of parallel function partitioning of Petri net systems based on place invariant. The theoretical proof and experimental results show that the function partitioning conditions and completeness theory of Petri net parallelization based on place invariant are correct, and the parallel algorithms under such theoretical basis are also correct and effective. Author Affiliation: (1) School of Logistics Management and Engineering, Nanning Normal University, Nanning, Guangxi, 530299, China (2) Guangxi Higher-Education Key Laboratory of Scientific Computing and Intelligent Information Processing, Nanning Normal University, Nanning, Guangxi, 530299, China (3) College of Computer and Information Engineering, Nanning Normal University, Nanning, Guangxi, 530299, China Article History: Registration Date: 13/05/2019 Received Date: 04/06/2018 Online Date: 14/05/2019 Article note: Foundation item: Supported by the National Natural Science Foundation of China (61866006, 61741203), the Natural Science Foundation of Guangxi Province (2016GXNSFAA380243), the Guangxi Innovation-Driven Development of Special Funds Project (Gui Ke AA17204091), the Guangxi Nanning Science and Technology Development Planning Project (2018015-5)

Source Citation

Source Citation   

Gale Document Number: GALE|A585460344