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