Institutional Repository
| hypergraph partitioning for the parallel computation of continuous petri nets | |
| Ding Zuohua; Shen Hui; Cao Jianwen | |
| 2011 | |
| Conference Name | 11th International Conference on Parallel Computing Technologies, PaCT 2011 |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 257-271 |
| Conference Date | September |
| Conference Place | Kazan, Russia |
| Indexed Type | EI |
| Publish Place | Germany |
| 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 |
| 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. |
| Keyword | Parallel Architectures Parallel Processing Systems Petri Nets Philosophical Aspects Static Analysis |
| Sponsorship | Russian Academy of Sciences; Kazan Federal University; Academy of Sciences of the Republic of Tatarstan; Russian Fund for Basic Research; Lufthansa Official Airlines |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14285 |
| Collection | 并行软件与计算科学实验室 |
| Recommended Citation GB/T 7714 | Ding Zuohua,Shen Hui,Cao Jianwen. hypergraph partitioning for the parallel computation of continuous petri nets[C]. Germany,2011:257-271. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| hypergraph partition（470KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment