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

作     者：王佳慧 王书锋 WANG Jia-hui;WANG Shu-feng

作者机构：郑州大学电气工程学院河南郑州450001 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2011年第32卷第5期

页      码：1845-1848页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2011.05.063

馆 藏 号：203518600...