Title: | hypergraph partitioning for the parallel computation of continuous petri nets |
Author: | Ding Zuohua
; Shen Hui
; Cao Jianwen
|
Source: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
Conference Name: | 11th International Conference on Parallel Computing Technologies, PaCT 2011
|
Conference Date: | September
|
Issued Date: | 2011
|
Conference Place: | Kazan, Russia
|
Keyword: | Parallel architectures
; Parallel processing systems
; Petri nets
; Philosophical aspects
; Static analysis
|
Publish Place: | Germany
|
Indexed Type: | EI
|
ISSN: | 3029743
|
ISBN: | 9783642231773
|
Department: | (1) Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, Zhejiang 310018, China; (2) Institute of Software, Chinese Academy Sciences, Beijing 100080, China
|
Sponsorship: | Russian Academy of Sciences; Kazan Federal University; Academy of Sciences of the Republic of Tatarstan; Russian Fund for Basic Research; Lufthansa Official Airlines
|
English 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. © 2011 Springer-Verlag Berlin Heidelberg. |
Content Type: | 会议论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/14285
|
Appears in Collections: | 并行计算实验室 _会议论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
hypergraph partitioning for the parallel computation of continuous petri nets.pdf(470KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Ding Zuohua,Shen Hui,Cao Jianwen. hypergraph partitioning for the parallel computation of continuous petri nets[C]. 见:11th International Conference on Parallel Computing Technologies, PaCT 2011. Kazan, Russia. September.
|
|
|