.png){kind=icon}
返回
A distributed algorithm for GSPN reachability graph generation
.png){kind=icon}
PRE
AI
DOI：10.1006/jpdc.2000.1664.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The applicability of generalized stochastic Petri nets (GSPNs) and other high-level modeling formalisms to real systems is often constrained by the explosion in the size of the underlying state-space representation. This paper describes a distributed program taking advantage of the large amount of memory and powerful computational resources of distributed computing systems to enable the construction of large state-space graphs generated by GSPN models. High state-space cardinalities and significant speedup with respect to sequential techniques are achieved by means of state space partitioning based on a distributed hashing function. The main algorithmic characteristics (global and local hashing and buffering of messages) are analyzed in detail and their effects are assessed by means of performance measurements on a PC cluster and a Gray T3D parallel machine. Performance results emphasize the good scalability with the number of processors of the proposed approach. even without East interconnection networks, While the distributed reachability graph construction technique has been conceived for GSPN solution. the issues raised are relevant to other modeling systems whose common trait is the generation of state spaces with irregular and a priori unknown structure. (C) 2001 Academic Press.
Keyword:
STOCHASTIC PETRI NETS
期刊
IF:
4
论文数:
3.8K
被引数:
4.8K
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏
查看更多内容