随机Petri网可视化软件的设计与实现

摘要：

针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim.利用广度优先思想,设计了可迭图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便地进行随机Petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机Petri网特性和系统性能指标.通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性.

关键词：随机Petri网、建模工具、广度优先算法、面向对象、可达标识图

所属期刊栏目：32

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2011-09-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1845-1848