近来，随机 Petri 网已经成为研究离散事件动态系统的一种有力的工具，特别是在系统性能评价领域取得了显著成功。关于随机 Petri 网在离散制造系统领域的研究越来越多。计算机辅助软件是随机 Petri 网理论研究和应用必备的工作环境，本文根据当前利用随机 Petri 网进行制造系统性能分析的实际需要，设计开发了制造系统可靠性等性能分析的随机 Petri 网分析软件系统—Draw2。 首先，本文详细论述了基本 Petri 网、马尔可夫随机过程、随机 Petri 网及其在制造系统可靠性等性能分析中的应用等基本理论以及这些理论之间的联系，这些也是本文进行软件设计和实例分析的理论基础。 然后，本文在对制造系统可靠性等性能分析软件系统进行功能需求分析的基础上，设计了系统的总体框架结构，进而在 Visual C++6.0 开发环境下利用面向对象的分析和设计方法实现了系统各个模块的功能。Draw2软件系统具有非常友好的人机交互界面，使随机 Petri 网建模变得非常直观方便；解决了随机 Petri 网模型的可达集生成算法和同构马尔可夫链的构造及其稳定状态概率的求解等关键技术；文件的使用使得数据的存储和读取都能够很方便的实现。 另外，通过对随机制造单元的建模以及性能分析验证了软件的正确性，生产流水线的建模以及性能分析验证了 Draw2 软件系统对于复杂、可修复制造系统所建有界随机Petri网模型的适用性，通过对可达树的分析可以判断所建模型的有界性与安全性、活性等性质，进而相应地对制造系统进行改进。 最后，本文初步分析了目前随机 Petri 网的理论研究和应用面临的挑战—状态空间爆炸问题，并归纳了当前的一些解决方法和今后一些比较有价值的研究方向。