Hypergraph partitioning for the parallel computation of continuous Petri nets

Authors:
Zuohua Ding;Hui Shen;Jianwen Cao
Affiliations:
Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, Zhejiang, China;Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, Zhejiang, China;Institute of Software, Chinese Academy Sciences, Beijing, China
Venue:
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Year:
2011

Citing 17
Cited 1

Parallel iteration of high-order Runge-Kutta methods with stepsize control

Journal of Computational and Applied Mathematics
Combinatorial algorithms for integrated circuit layout

Combinatorial algorithms for integrated circuit layout
Representing circuits more efficiently in symbolic model checking

DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Parallel and sequential methods for ordinary differential equations

Parallel and sequential methods for ordinary differential equations
Data communication in parallel block predictor-corrector methods for solving ODE's

Parallel Computing
Multilevel hypergraph partitioning: applications in VLSI domain

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hypergraph-Partitioning-Based Decomposition for Parallel Sparse-Matrix Vector Multiplication

IEEE Transactions on Parallel and Distributed Systems
Graph partitioning models for parallel computing

Parallel Computing - Special issue on graph partioning and parallel computing
A hypergraph-partitioning approach for coarse-grain decomposition

Proceedings of the 2001 ACM/IEEE conference on Supercomputing
Petri Nets, Hypergraphs and Conflicts (Preliminary Version)

WG '92 Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science
Autonomous And Timed Continous Petri Nets

Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models

Journal of Parallel and Distributed Computing
SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers

ACM Transactions on Mathematical Software (TOMS) - Special issue on the Advanced CompuTational Software (ACTS) Collection
Debugging Ada Tasking Programs

IEEE Software
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Static Analysis of Concurrent Programs Using Ordinary Differential Equations

ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Continuization of timed petri nets: from performance evaluation to observation and control

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

Parallel computation of continuous Petri nets based on hypergraph partitioning

The Journal of Supercomputing

Quantified Score

Hi-index	0.01

Visualization

Abstract

Continuous Petri net can be used for performance analysis or static analysis. The analysis is based on solving the associated ordinary differential equations. However, large equation groups will give us overhead computing. To solve this issue, this paper presents a method to compute these differential equations in parallel. We first map the Petri net to a hypergraph, and then partition the hypergraph with minimal inter-processor communication and good load balance; Based on the partition result, we divide the differential equations into several blocks; Finally we design parallel computing algorithm to compute these equations. Software hMETIS and SUNDIALS have been used to partition the hypergraph and to support the parallel computing, respectively. Gas Station problem and Dining Philosopher problem have been used to demonstrate the benefit of our method.