为了使制造系统更加自动化和生产灵活化,伴随着计算机和自动化技术的发展,产生了一类新的生产系统：柔性制造系统(FMS)。柔性制造系统是一类极其复杂的离散事件动态系统,各种形式的Petri网已成为FMS系统中建模与分析的主流技术之一,是FMS建模、分析、性能评价和控制的有力工具。由于随机Petri网的复杂性,大力开发随机Petri网的软件工具包括通用工具与专用工具,对于深化与扩展Petri网的应用是很有帮助的。本文针对国内外随机Petri网建模与分析软件的现状以及当前利用随机Petri网进行系统性能分析的实际需要,借助于可视化开发环境Visual C++下的微软基础库类,设计开发了随机Petri网图形建模与分析工具SPNSim。首先,本文详细论述了基本Petri网以及随机Petri网的相关理论,并结合一个具体的随机制造单元说明了随机Petri网在系统性能指标分析中的应用。然后,本文阐述了SPNSim软件所能实现的功能,设计了软件的整体框架,进而采用面向对象的技术实现了软件各个模块的功能。SPNSim软件具有良好的人机交互界面,用户可利用随机Petri网编辑器进行可视化建模,非常直观方便；依据Petri网的特点,对其元素进行抽象,构造出相应的类,有利于软件的扩展和维护；利用windows消息响应和文档／视图结构,软件各个模块分工明确,使整个软件系统易于维护；另外,该软件可生成随机Petri网模型的可达标识图,并在此基础上得到可达标识集、状态转移矩阵、可达标识的稳态概率等,最后得到了SPN模型的各项性能指标。最后通过一个实例演示了该软件的建模和分析过程,证明了该建模软件的正确性。