Petri网是一种分布式系统的建模分析工具，其图形化的建模特性和严谨的数学理论描述使其能够广泛地运用于离散动态系统的分析和建模中。论文针对柔性制造系统中的建模与仿真问题，结合Petri网的基本理论，使用面向对象的C#编程语言，设计完成一种基于Petri网的柔性制造系统可视化建模和仿真环境。本文开发出的可视化环境能够通过加载系统的三维模型和表示系统Petri网模型的PNT文件可视化的Petri网建模，并以动画的形式将整个系统的运行和Petri网模型的运行状况呈现出来。论文阐述了Petri网在自动制造系统中的应用，介绍了国内外Petri网分析软件的开发背景，简要论述了Petri网的基本理论和三维建模与开发技术。论文重点阐述了基于Petri网的柔性制造系统可视化环境的设计思想和使用到的关键技术，然后通过一个简单的FMS系统模型展示了该可视化环境工具的仿真效果。论文将Petri网和FMS设备之间的联系通过图形化的仿真模型显示出来，使得Petri网模型在FMS中的应用可以通过更为直观的方式来呈现。本文设计出的仿真工具体现出Petri网在系统建模与分析中的优势，并且对于自动制造系统模型的求解也具有一定的作用。