对业务流程建模是将业务流程计算机化的必要手段,同时工作流建模属于工作流管理系统的三大主要功能,目前已经成为工作流技术的研究热点之一。论文选择在形式化描述和直观图形表示方面都很强大的Petri网建模技术作为建模工具,主要研究如何更加有效地对业务流程建模,并对建模方法给出分析。论文在深入研究现有建模方法的基础上,借鉴着色Petri网和时间Petri网的研究成果,扩展了工作流网,给出了一个时间约束扩展工作流模型的形式化描述,统一描述了数据资源、活动时间约束的信息,通过应用实例详细展示了该模型。在时间约束扩展工作流模型的基础上,详细分析了模型时间约束的一致性并给出对时间冲突的解决方法,并且结合模糊时间的理论,提出了模糊时间约束扩展工作流模型,给出了模型中时间函数的定义,提高了模型对不确定时间应用的建模能力,可以计算流程实例的时间可能性。提出根据层次建模方法对模型结构进行正确性验证,给出了子网缩简规则,设计了流程的执行时间性能评价算法并用具体实例展示算法执行步骤。