parallel computation of continuous petri nets based on hypergraph partitioning

ISCAS OpenIR

	parallel computation of continuous petri nets based on hypergraph partitioning
	Ding Zuohua; Shen Hui; Cao Jianwen
	2011
发表期刊	Journal of Supercomputing
ISSN	0920-8542
卷号	62 期号:1 页码:1-33
摘要	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.
收录类别	EI ; SCI
关键词	Parallel Architectures Petri Nets Philosophical Aspects Static Analysis
部门归属	(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
学科领域	Computer Science ; Engineering
资助者	NSF 90818013; Zhejiang Science Foundation Z1090357
语种	英语
WOS记录号	WOS:000308110300020
引用统计
内容类型	期刊论文
URI标识	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.