工作流管理系统在企业的事务处理流程和资源管理中的优势使其倍受关注。而工作流建模工具涉及到工作流程的抽取、图形化表示、以及流程验证等，是实施工作流管理系统的关键环节，成为工作流技术领域研究的热点问题之一。 当前的工作流建模方法包括基于活动网络、基于形式化描述（Petri网）、基于事务模型、基于状态和活动图、基于UML等建模方法。本文主要对Petri网和UML的建模理论和方法进行了研究，主要研究成果包括以下几个方面： 1．把统一建模语言UML用于工作流建模，本文从顺序图、协作图、状态图、活动图几个方面进行分析并进行建模。 2．对传统的Petri网的理论、高级Petri网、工作流网（改进的Petri网）进行了研究，将工作流模型的基本结构与工作流网的组件对应起来，使得Petri网能够很好的应用于工作流建模过程，并对Petri网的验证和模拟进行了研究，并结合其他模型理论提出了一种建模工具的结构框架。 3．根据对工作流建模过程以及Petri网建模理论的分析，参考MVC设计模式以及基于图论的图形库JGraph，设计了基于Petri网的跨平台的通用建模工具PNFlow，并实现了PNFlow原型系统。 4．使用PNFlow对软件设计中“详细设计流程以及其子流程界面设计”进行一次建模实践，并使用PNFlow原型系统对所建模型进行了模拟运行。