parallel computation of continuous petri nets based on hypergraph partitioning

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	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.