摘要
针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便地进行随机Petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机Petri网特性和系统性能指标。通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性。
Aiming at the complexity problem of modeling design and analysis of stochastic Petri nets （SPN）, a visual modeling and analyzing tool for stochastic Petri nets, the SPNSim, is developed in Visual C＋＋ environment with the object-oriented method. A rea- chability marking graph algorithm is designed with the idea of breadth first approach. And a stochastic Petri nets modeling editor is offered, with which users could easily modify a SPN model. Also it can be used to analyze models and gain some performance properties like reachability graph and steady probability. Finally, the correctness and availability of the SPNSim is proved by modeling and analyzing a case example.
出处
《计算机工程与设计》
CSCD
北大核心
2011年第5期1845-1848,共4页
Computer Engineering and Design
关键词
随机PETRI网
建模工具
广度优先算法
面向对象
可达标识图
stochastic Petri nets
modeling tool
breadth first algorithm
object-oriented
teachability marking graph
