一种紧同步随机Petri网模型的性能分析方法

Ruan Jian Xue Bao/Journal of Software（2003）

引用 0|浏览13

暂无评分

摘要

紧同步随机Petri网模型常用于对多个子系统构成的实际系统进行建模.由于状态空间爆炸问题,这种模型的性能分析目前还没有得到很好的解决.首先给出了随机Petri网中顺序、并行、循环、选择这4种基本结构的性能近似等价公式,然后提出了一种同步变迁等价分解(synchronous transition equivalent decomposition,简称STED)法对紧同步随机Petri网进行分解求解,有效地缓解了具有一个或多个同步变迁情况下的空间爆炸问题,该方法对于子模型同构的情况处理简便且十分有效.

查看译文

关键词

Performance analysis,Performance equivalence,SPN (stochastic Petri nets),STED (synchronous transition equivalent decomposition),Strictly synchronized model

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要