基于参数化网络类的统一Petri 网的研究目的是解决纷繁复杂的Petri 网类型给使用Petri 网带来的不便和基于这一理论的工具开发。本文以参数化统一Petri 网理论为基础,提出用代数规范理论来表示着色Petri 网(CPN)的ML 语言,完成了CPN 的参数化表示; 并根据这一理论,研究了Petri 仿真工具的设计开发,使其不局限于特定的Petri 网类型; 最后以一个案例说明了该工具在工程应用上的意义。文章首先阐述了几种常见Petri 网类型的形式化定义,给出了参数化网络类的表示方法,它包括集合论方法和范畴论方法; 同时本文给出了带有执行规则的参数化网络类的形式化定义,以支持网络的仿真执行。在参数化网络类的理论基础上,本文提出用代数规范理论实现CPN 的实际参数表示,进一步完善了统一Petri 网理论。本文的中间部分研究了统一Petri 网理论的应用之一——Petri 网仿真工具的设计开发。该工具的总体设计思想采用MVC(Model-View-Controller)设计模式。本文的工具设计包括以下几个模块:将统一Petri 网理论融入到工具的设计开发中,实现参数化网络类的思想; 性质分析模块设计,使得工具可以对特定的Petri 网模型进行性质分析和性能评价; 文件格式设计,文件格式要支持各种Petri 网类型。最后本文在统一Petri 网工具下,以一个空军防御系统的实例说明了针对具体实例如何进行Petri 网类型的选择,以更加适合实际系统的建模和性能评价,并对该系统进行了仿真评价,说明了该工具在工程应用上的意义。