

Author: Ding Zuohua
Publisher: Springer Publishing Company
ISSN: 0920-8542
Source: The Journal of Supercomputing, Vol.62, Iss.1, 2012-10, pp. : 345-377
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Continuous Petri net can be used for performance analysis or static analysis. The analysis is based on solving the associated ordinary differential equations. This paper presents a method to parallel compute these differential equations. We first map the Petri net to a hypergraph, and then partition the hypergraph to minimize interprocessor communication while maintaining a good load balance; Based on the partition result, we divide the differential equations into several blocks; Finally, we design a parallel computing algorithm to compute these equations. Software hMETIS is used to partition the hypergraph, and software SUNDIALS is used to support the parallel computing of differential equations. Gas station problem and dining philosopher problem have been used to demonstrate the feasibility, accuracy, and scalability of our method.
Related content







