本文首先论述了Petri网的概念、性质以及主要的分析方法;介绍了以Petri网标准化为背景的PNML语法规范的定义和性质;并对PTAnalyser开发过程中的用到的JAXP、XLST等关键技术进行了说明。 然后,本文在对PTAnalyser软件工具进行功能分析的基础上,设计了软件工具的总体功能框架,进而在Eclipse开发环境下利用面向对象的分析和设计方法实现了软件工具各个模块的功能。PTAnalyer软件工具提供了非常友好的图形用户界面,使得Petri网建模变得非常直观方便,同时支持对Petri网模型状态变化的动态仿真。PTAnalyer整合了Java、XML、XLST、JAXP以及设计模式等多领域的知识,采用.XML作为存储Petri模型文件的格式实现了Petri网模型文件的保存和读取以及对PNML语法规范的支持,使得任何支持PNML语法规范的P/T系统模型都可以使用PTAnalyer进行分析,反之亦然,这是PTAnalyer处于同类软件工具前列的一个重要方面。PTAnalyer提供了三种性能分析:基于不变量的性能分析通过对关联矩阵的初等线性变换来变换求解Petri网的P-不变量和T-不变量,提供了对Petri网模型结构特性做进一步分析的基础;基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析;模拟功能为了解Petri网模型的动态特征提供了一种途径。与同类软件工具相比,PTAnalyer提供的功能更全面,更有利于推进Petri网的标准化进程。PTAnalyer采用了面向对象的接口技术,大大增强了软件工具的可扩展性,扩展一个新的功能只需要对软件工具原有代码做少量的修改。最后结合教务排课系统和哲学家就餐问题两个典型实例对PTAnalyser的应用进行了说明。 本文最后对所做的工作进行了总结,同时给出了Petri网软件工具比较有价值的研究方向。