随机Petri网模型到马尔可夫链的转换规则与实现

• 作者: 何炎祥 沈华
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 随机Petri网 马尔可夫链 定量分析 转换规则 性能指标
• 年，卷（期）: 2013,（1）
• 页码范围: 55-62
• 分类号: TP302.7
• 字数: 3881字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1209025

摘要

随机Petri网是一种系统设计和分析工具,它可以对系统进行定性分析和定量分析.为了有效利用随机Petri网进行性能的定量分析,根据随机Petri网模型转换为马尔可夫链的算法,总结并实现了它们之间的转换规则.该转换规则在变迁实施的过程中引入演变规则和合并规则,将随机Petri网模型转换为马尔可夫链.可以利用产生的马尔可夫链对随机Petri网模型的多项性能指标进行定量分析.实验结果表明,转换规则是正确、可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何炎祥	武汉大学计算机学院	179	1866	22.0	35.0
2	沈华	武汉大学计算机学院	4	42	3.0	4.0