工作流管理是信息时代的研究热点之一,己被广泛应用于多个领域;而工作流模型是整个工作流技术的重要内容。因此,本课题对工作流模型进行重点的研究与探讨。首先,对工作流、工作流管理系统和工作流参考模型进行阐述;对Petri网的定义、变迁条件、规则和性质等进行深入的研究;对工作流网的定义、基本组件和合理性等进行深入的分析。其次,针对Petri网中的外部事件对模型的描述力不强以及对复杂模型的处理能力不够,将外部控制信息和Petri网相结合,采用分层的思想,对Petri网中的库所和变迁进行嵌套定义,提出了一种外部信息控制Petri网OICP网(Petri net based on Out Information Control),并给出了严格的数学定义、变迁条件、触发规则和相关性质。采用OICP网进行建模得到的工作流网定义为外部信息控制工作流网OICWF-net(Work Flow net based on Out Information Control),并给出了OICWF-net的合理性定义。再次,在OICP网理论的基础上,采用细化理论,给出了OICWF-net库所细化和变迁细化的数学定义,并详细分析了细化后的组合网如何保持OICWF-net合理性的问题,给出了相关的定理和推论。最后,研究了以关联矩阵和状态方程为基础的OICWF-net代数分析技术,并给出了可以用来检验OICWF-net合理性的相关定理。同时,用OICP网的层次化理论对一个网上订货的实例进行了详细的分析和建模,并对此模型用OICWF-net的代数分析技术和OICWF-net的合理性定理进行了修改与验证。