随着信息技术的飞速发展,计算机和网络技术的应用领域越来越广泛,企业的业务过程也随之变得更加复杂。工作流技术能够整合企业的复杂信息资源,常用于实现企业业务过程的自动高效管理,并对其进行深度优化。Petri网作为一种将数学理论和图形描述有机融合的建模工具,它能够分析工作流模型结构和评价系统的性能,被公认为是一种重要的工作流分析技术。本文采用时间Petri网对工作流模型建立时间约束,在建模过程中,主要运用顺序、选择、并行和循环这四种基本结构对工作流进行良好的结构建模。而且,论文通过对工作流进行定量的时序分析,获得整个工作流的响应时间区间。本文主要从以下三个方面开展工作并进行创新:1.本文研究了Petri网和工作流的相关理论,并针对含有时间因子的企业业务过程,提出了将时间Petri网和工作流相结合的建模方法,且通过扩展时间工作流网的定义使其成为可等效化简的工作流网。2.为了实现对工作流网的静态结构分析,本文深入研究了时序逻辑程序设计语言MSVL,并基于现有的解释器MSV设计实现了几个主要算法:(1)针对四种基本结构提出了相应的等效化简算法;(2)针对四种基本结构组成的复合结构提出了等效递归化简算法;(3)针对复杂的工作流网提出了求解其可等效化简子网的算法;(4)针对网中各个节点所处的结构特征,提出了识别四种结构的算法。3.本文通过“保险索赔”、“旅行社”和“物流流通加工”三个实例验证了基于MSVL的时间工作流网约束求解工具的正确性和有效性。