随机Petri网可达树的广度优先可视化编程实现

由于随机Petri网的可达树在整个SPN模型的性能分析中占据着重要的位置,因此本文提出一种广度优先的算法来得到随机Petri网的可达树,并且使用C++builder6.0对模型的可达性性质进行了可视化编码实现,为下一步SPN模型的性能分析做好充足的准备。