Institutional Repository
| parallel computation of continuous petri nets based on hypergraph partitioning | |
| Ding Zuohua; Shen Hui; Cao Jianwen | |
| 2011 | |
| Source | Journal of Supercomputing
 |
| ISSN | 0920-8542 |
| Volume | 62Issue:1Pages:1-33 |
| 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. 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. © 2011 Springer Science+Business Media, LLC.; 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. © 2011 Springer Science+Business Media, LLC. |
| Indexed Type | EI ; SCI |
| Keyword | Parallel Architectures Petri Nets Philosophical Aspects Static Analysis |
| Department | (1) Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou 310018 China; (2) Institute of Software Chinese Academy Sciences Beijing 100080 China |
| Subject | Computer Science ; Engineering |
| Sponsorship | NSF 90818013; Zhejiang Science Foundation Z1090357 |
| Language | 英语 |
| WOS ID | WOS:000308110300020 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16137 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Ding Zuohua,Shen Hui,Cao Jianwen. parallel computation of continuous petri nets based on hypergraph partitioning[J]. Journal of Supercomputing,2011,62(1):1-33. |
| APA | Ding Zuohua,Shen Hui,&Cao Jianwen.(2011).parallel computation of continuous petri nets based on hypergraph partitioning.Journal of Supercomputing,62(1),1-33. |
| MLA | Ding Zuohua,et al."parallel computation of continuous petri nets based on hypergraph partitioning".Journal of Supercomputing 62.1(2011):1-33. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment