工作流技术是实现业务过程建模、仿真分析、优化、管理与集成,从而最终实现其自动化的核心技术。它将业务过程逻辑从应用系统中分离出来,达到了对过程建模、重组和重用的目的。现有的工作流建模方法大部分都不能验证工作流的合理性,不能分析系统的性能。本文给出了一种基于时间Petri网的工作流建模方法,该方法的提出是在传统Petri网的基础上,考虑时间因素得到的。对Petri网模型的基本路由结构进行线性时间推理,得到一种计算时间约束的基本方法。针对行政审批业务模型复杂,分析困难的问题,介绍了一种将模型简化的方法——即层次化。本文层次化的方法是通过子流程的引入进行的。并且针对实际业务中出现的资源共享、资源冲突的问题,设计了一个基于随机Petri网的共享资源抢占式服务工作流模型,最后对提出的这种模型进行了性能评价。这种工作流的建模方法已应用于实际,为北京市某区研究开发了一套行政审批系统。该系统以基于Petri网的建模方法为后台建模分析工具,综合利用Java语言,Oracle数据库等当前主流技术,具有灵活性高、适用性强、可靠稳定的特点。理论研究成果在该系统中得到了较好的应用。