工作流建模是当前工作流研究领域的热点问题之一。研究更具柔性和适应性的工作流建模方法,并探索模型对实际工作流系统开发的指导作用,使其更好地适应业务流程的动态变化,是本论文的研究主题。Petri网是一种适合于描述异步并发现象的建模工具,具有坚实的理论基础和成熟的分析技术,然而经典Petri网的建模表现力存在一定的不足。本文分析了基于Petri网的工作流建模方法及其应用于公文流建模的不足之处。以公文流转业务为对象,研究了基于时间Petri网的工作流建模方法;在经典Petri网模型的基础上,应用时间Petri网建立了一个公文流转系统工作流模型。在模型中增加了时间要素,表现实际业务流程中的不确定事件和时间,所建立的工作流模型具有一定的柔性和适应性,并利用可覆盖性树理论分析方法,验证了该模型的正确性。最后,基于Microsoft Visual Studio.NET 2003开发平台,使用SQL Server数据库、B/S三层体系结构等当前主流技术,设计开发了一个高校公文流转系统。系统中通过公文流程定制的实现,公文流转的可变性设计的实现,委托代理机制及跟踪、催办流程任务的实现,体现了所开发系统的柔性和适应性。并且,系统设计中对于公文流程的定制进行了重点设计,在过程节点定义中加入了时间因素和时间到达时的处理,使得系统既具有流程定制的能力,定制的流程又具有一定的灵活性。