近年来，Petri网理论开始应用于各种测试系统的建模分析之中，如航空发动机的压力测试系统建模分析，由于航空实验的特殊性，压力测试需要测量的测试点很多，测试系统复杂，所以建立的Petri网模型也比较复杂。随着Petri网结构的复杂化，传统的手工分析与计算已经不能适应实际系统的分析需要，因而大力开发Petri网建模软件工具，对于深化与扩展Petri网的应用和发展很有帮助。本文针对国内外Petri网建模与分析软件的现状以及测试系统中Petri网进行系统性能分析的实际需要，借助于可视化开发环境Visua1Studio2010与C#4.0编程语言，设计开发了Petri网建模分析软件工具。首先，本文详细论述了Petri网基本理论，包括Petri网的定义与运行规则、Petri网的基本性质和Petri网分析方法。然后，本文对Petri网建模软件进行了需求分析，并设计了软件的整体框架，进而确定了在.NET4.0框架类库下，利用C#语言实现Petri网建模软件工具的设计方案。本软件具有良好的人机交互界面，用户可以通过设置输入参数来实现Petri网模型的图形化、生成Petri网运行过程状态表、可达树和Petri网模型的性能分析与计算等工作。在生成状态运行过程表当中，用到了队列Queue、字典集合Dictionary和列表List等泛型集合类，同时利用图的广度优先搜索算法实现了运行状态过程表；基于运行状态表，生成了Petri网模型的可达树。随后，实现了对基本Petri网，时间Petri网，随机Petri网的基于可达树与可达图的性能分析，给出了随机Petri网的马尔科夫链和稳态概率。最后，以一个实际的例子对本建模软件的建模流程做了说明，并验证了多通道压力测试系统的SPN模型，证明了该建模软件的正确性和实用性。