hypergraph partitioning for the parallel computation of continuous petri nets

	hypergraph partitioning for the parallel computation of continuous petri nets
	Ding Zuohua; Shen Hui; Cao Jianwen
	2011
会议名称	11th International Conference on Parallel Computing Technologies, PaCT 2011
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	257-271
会议日期	September
会议地点	Kazan, Russia
收录类别	EI
出版地	Germany
ISSN	3029743
ISBN	9783642231773
部门归属	(1) Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, Zhejiang 310018, China; (2) Institute of Software, Chinese Academy Sciences, Beijing 100080, China
摘要	Continuous Petri net can be used for performance analysis or static analysis. The analysis is based on solving the associated ordinary differential equations. However, large equation groups will give us overhead computing. To solve this issue, this paper presents a method to compute these differential equations in parallel. We first map the Petri net to a hypergraph, and then partition the hypergraph with minimal inter-processor communication and good load balance; Based on the partition result, we divide the differential equations into several blocks; Finally we design parallel computing algorithm to compute these equations. Software hMETIS and SUNDIALS have been used to partition the hypergraph and to support the parallel computing, respectively. Gas Station problem and Dining Philosopher problem have been used to demonstrate the benefit of our method. © 2011 Springer-Verlag Berlin Heidelberg.
关键词	Parallel Architectures Parallel Processing Systems Petri Nets Philosophical Aspects Static Analysis
主办者	Russian Academy of Sciences; Kazan Federal University; Academy of Sciences of the Republic of Tatarstan; Russian Fund for Basic Research; Lufthansa Official Airlines
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/14285
专题	并行软件与计算科学实验室
推荐引用方式 GB/T 7714	Ding Zuohua,Shen Hui,Cao Jianwen. hypergraph partitioning for the parallel computation of continuous petri nets[C]. Germany,2011:257-271.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
hypergraph partition（470KB）			开放获取	--	请求全文