Carl Adam Petri于1962年在他的博士论文《Kommun Pcation mit automation》中,正式提出了Petri网论。Petri网是一种适合描述离散的、分布式系统的数学建模工具。目前,世界各地已有许多科研人员专注于Petri网的研究,并有不少学者在Petri网的仿真软件这一领域进行了深入研究。本课题从Petri网的实用性着手,详细研究了Petri网的分析和化简技术,在此基础上对Petri网的原图和化简图的等效性进行了分析。最后,在Petrilab 2.0的基础上实现了一个功能更加完善的Petri网仿真工具——Petrilab 3.0。本文以众多分析技术及Petri网的基本理论为依据,采用MATLAB和VC++混合编程,利用面向对象的技术,通过软件再工程模式对谭丹等开发的Petri网仿真软件Petrilab 2.0进行了软件再造。本文所实现的Petri网仿真软件Petrilab 3.0通过添加带抑制弧的Petri网系统的仿真,增强了工具的模拟仿真能力。该仿真软件目前适用于EN系统、P/T系统、自控网系统(包括带约束弧和不带约束弧的两种自控网)以及带抑制弧的Petri系统。同时,为了实现对复杂系统的模拟分析功能,本文对Petri网的化简规则进行了深入研究,并在软件中实现了比较完善的化简功能。最后,经过对原型系统进行全面的测试及运行调试,证明了系统运行稳定可靠,分析结果准确无误且仿真方便快捷,与同类仿真软件相比,该文所实现的Petri网仿真软件—Petrilab 3.0功能更为完善。