Subject: Computer Science
; Engineering
Title: parallel computation of continuous petri nets based on hypergraph partitioning
Author: Ding Zuohua
; Shen Hui
; Cao Jianwen
Keyword: Parallel architectures
; Petri nets
; Philosophical aspects
; Static analysis
Source: Journal of Supercomputing
Issued Date: 2011
Volume: 62, Issue: 1, Pages: 1-33 Indexed Type: EI
; SCI
Department: (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
Sponsorship: NSF 90818013; Zhejiang Science Foundation Z1090357
Abstract: 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.
English Abstract: 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.
Language: 英语
WOS ID: WOS:000308110300020
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/16137
Appears in Collections: 软件所图书馆_期刊论文
There are no files associated with this item.
Recommended Citation:
Ding Zuohua,Shen Hui,Cao Jianwen. parallel computation of continuous petri nets based on hypergraph partitioning[J]. Journal of Supercomputing,2011-01-01,62(1):1-33.