随着软件开发方法的不断发展,企业模型自动化方法成为软件开发新方向之一,而工作流建模是实现企业模型自动化的一个重要方面。 当今,一般的工作流建模产品都不能提供对工作流模型的检查,在工作流建模阶段就产生的错误一直要到工作流实施阶段才能被检查出来,造成了人力和物力的巨大浪费。因此我们使用 Petri 来为工作流建模,利用 Petri 网强大的分析功能,有助于发现在建模过程中的潜在错误。本文首先分析了各种类型 Petri 网的特性,使用了可扩展的思想,详细讨论了一个基于 Petri 网的建模工具的设计和实现。同时,实现了一个基于 Petri 网的图形化编辑器,方便人们进行建模。在此基础上,设计和实现了基于 Petri 网的多种分析工具,可用来检查工作流的合理性,对工作流进行仿真,并可以用来分析工作流的性能。然后为了系统能和其他工作流产品进行集成,设计和实现了可将 Petri 网描述的工作流转化为 XPDL 语言描述的工作流的工具。最后对本文的研究工作进行了总结,对不足之处提出了改进的措施,并展望了系统下一阶段的发展方向,为后续工作奠定了基础。