Petri网是对具有并发、同步、异步、冲突、资源共享以及不确定性等特点的离散事件系统进行建模分析的有效工具。随着现实中系统规模的不断增大,作为支持Petri网可视化建模与仿真分析的计算机辅助软件就显得十分重要,它不仅可以大大简化建模过程,而且还能显著提高模型分析的可靠性和有效性。 本文详细讨论了Petri网的基本概念、基本性质、主要的分析方法以及主要的扩展形式,并在此基础上,研究和开发了一个较为通用的Petri网仿真平台(PNSP),为常用的Petri网模型提供可视化建模和辅助分析。本文的主要工作包括以下几方面： (1)将时间、子网变迁引入Petri网仿真,增强模型的描述能力,简化模型规模,使得工具更适合于对复杂系统进行建模仿真。 (2)为常用的Petri网模型(基本Petri网、时间Petri网、随机Petri网和层次Petri网)提供可视化建模和仿真分析功能,大大拓展了工具的适用性。 (3)提供常用的辅助分析：基于不变量的辅助分析和基于可达树的辅助分析,实现了不变量的求解和可达树的构造。 (4)支持PNML的语法规范,便于与不同的Petri网工具进行数据交流。 本文在第三章和第四章详细论述了Petri网仿真平台的设计方案、关键技术和具体实现,并分别就辅助分析功能和模型仿真功能给出了具体的应用实例,有效说明了工具的应用价值。