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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论