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

• 作者: 刘鸿 吴建平 林闯
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 随机Petri网 性能等价 性能分析 紧同步模型 同步变迁等价分解法
• 年，卷（期）: 2003,（6）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1029-1036
• 页数: 8页
• 分类号: TP301
• 字数: 3207字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林闯	清华大学计算机科学与技术系	151	10702	46.0	102.0
2	吴建平	清华大学计算机科学与技术系	298	5155	36.0	63.0
3	刘鸿	清华大学计算机科学与技术系	8	88	5.0	8.0