parallel computation of continuous petri nets based on hypergraph partitioning
文献类型：期刊论文
| 作者 | Ding Zuohua ; Shen Hui ; Cao Jianwen |
| 刊名 | Journal of Supercomputing
 |
| 出版日期 | 2011 |
| 卷号 | 62期号:1页码:1-33 |
| 关键词 | Parallel architectures Petri nets Philosophical aspects Static analysis |
| ISSN号 | 0920-8542 |
| 中文摘要 | 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. |
| 学科主题 | Computer Science ; Engineering |
| 收录类别 | EI ; SCI |
| 资助信息 | NSF 90818013; Zhejiang Science Foundation Z1090357 |
| 语种 | 英语 |
| WOS记录号 | WOS:000308110300020 |
| 公开日期 | 2013-10-08 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16137]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。