一种新的面向用户的工作流模型

为满足企业用户对工作流模型的描述能力和分析能力的要求，提出了一种新的面向用户的工作流描述模型——工作流描述网。该描述网可直接支持所有的工作流模式，特别是多实例、取消、高级同步等绝大多数工作流模型不直接支持的模式；通过提供多实例任务、取消任务、带传递变迁的任务等高级组件，直接支持工作流模式中几个主要复杂模式，每一个高级组件都对应一定结构的工作流描述网，并具有形式化的语义，在分析时按照一定的规则展开；基于Petri网，通过增加控制变量，及其与变迁间的通信机制来弥补Petri网无法处理复杂数据结构的缺陷。最后，通过实例说明了如何对各种复杂流程进行建模和分析。     

基于Petri网的工作流模式研究

为了满足企业对过程模型描述能力的需求，提出了一个基于Petri网的新工作流模式完全解决方案。在深入研究工作流模式的基础上，应用高级Petri网技术来构造所有的工作流模式。抑制弧通过测零帮助实现多实例的同步，消耗库所负责移除多余的标记，带标记的库所实现对变迁触发序列的控制；设计加权弧和限制容量的库所来实现同步M条路径中被激活的N条的情况。本方案实现了将所有的工作流模式，从基本到复杂，都映射到相应的Petri网上。最后，通过一个集成制造过程模型的实例，说明基于Petri网的方案能够完全满足企业在模型描述能力上的各种复杂需求。     

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后，提出了工程流模型时间有界性的问题，从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后，利用绝大多数描述业务过程的工作流模型都具有自由选择性的特点，提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法，在此基础上，结合工作流模型的资源视图，详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。     

基于Petri网的工作流技术复合建模与系统分解

通过对工作流模型过程定义的分析，利用不同的模型机制聚合工作流建模及涉及的要素，认为工作流模型是一个基于信息模型、功能模型、组织模型和资源模型的复合模型，探讨了模型之间的逻辑关系，以及基于复合建模原理的建模步骤。在针对面向过程开展的资源配置研究的基础上，借助敏捷制造过程的应用实例，分析了基于Petri网的复合工作流 模型的建模步骤。根据分层和分块原则，对基于Petri网的复杂工作流模型的简化提出了一种分解策略，并以实例说明这种分解策略。     

基于Petri网的产品研发设计工作流的柔性建模方法

为了解决复杂产品研发设计工作流建模问题,提高产品研发设计工作流管理系统在运行中对动态变化的响应能力,提出了一种基于Petri网的柔性建模方法。该方法结合面向对象和分层的思想对Petri网进行扩展,利用优先级、变迁触发规则等属性规则描述了模型的柔性。该方法不仅可以降低产品研发设计工作流建模的复杂度,还可以支持产品研发设计工作流管理系统对资源调度、动态选择和异常响应的柔性控制。最后通过一个实例说明了该方法的可行性。     

基于矩母函数的工作流网性能分析方法

现有的基于Petri网工作流性能分析方法对模型中活动的时间分布函数有较多限制,求解过程也较为复杂.为此,通过引入矩母函数,并结合Petri网可达图分析方法,将活动服从任意分布的工作流模型同构于可达图,在进一步消减可达图突发状态的基础上,用传递函数替代整个网络的矩母函数.最后,根据矩母函数的特征,结合实例分析了工作流网的系统件能,验证了该方法用于分析工作流模型的时间性能和资源利用率的可行性.     

工作流建模中时态逻辑的研究与应用

在使用Petri网构建工作流行为结构模型的同时，使用时态逻辑描述工作流模型的需求与特性，则具有描述能力强、灵活方便的优点。在此基础上，综合考虑时态逻辑列表法和即时验证方法的特点，给出一种主要利用Buchi自动机进行工作流模型需求及特性验证的方法，提高了工作流模型的合理性和可靠性。最后，验证分析了电子商务的工作流实例。     

基于广义随机Petri网的工作流性能分析

通过引入广义随机Petri网，将工作流管理联盟定义的工作流模型映射为广义随机工作流网络。利用广义随机Petri网与马尔可夫链的等价关系，得到一种Petri网与马尔可夫链理论相结合的工作流性能分析的新方法，为工作流性能的有效评估提供了理论依据，并通过实例验证，该方法可用于分析工作流模型的时间性能和资源利用率。     

基于Petri网的轻量级工作流引擎设计与实现

工作流引擎是工作流管理系统的核心。一个可复用、可扩展的工作流引擎将极大的缩短整个系统的开发周期。该文通过将Petri网映射到工作流过程模型,提出一种基于Petri网的轻量级工作流引擎的设计与实现方法。该工作流引擎能方便地嵌入到到各种体系架构中,可以容易地进行扩展,形成完整的工作流管理系统。     

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性，以及资源和变迁的有效时间约束问题。为此，通过对模糊时间Petri网的各个元素中引入时间约束，提出了一种工作流模型，即模糊时态工作流网，给出了该工作流网中各种时态元素的计算方法，并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后，用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模，并对一些典型的时间约束进行时间可能性分析。     

时间约束层次细化工作流建模及验证研究

为降低工作流建模和验证的复杂度，提出了一种自顶向下逐步细化的建模与验证方法。首先，引入了层次细化工作流网，实现复杂工作流建模，将满足可靠性的子网，替换顶层结构中输入库所安全的子网变迁，使细化后的工作流模型自动地满足可靠性要求。为验证可调度性，提出了时间约束层次细化工作流网，给出子网与子网变迁之间的时间约束等价变换原则，可保持细化前后工作流网可调度性不变的充分条件。依此条件，分别给出了串行、并行、选择、循环4种基本组件的压缩推理规则，并在线性复杂度内解决了层次细化工作流网时间验证问题。     

时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.     

一种工作流过程模型到工作流网的转换方法

为了便于非专业人员的工作流建模操作，利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算，给出了基于统一建模语言活动图的工作流过程模型建模方法，讨论了统一建模语言活动图到工作流网的转换方法，包括：非对象节点的转换、控制流边的转换、对象节点及对象流边的转换等。结合民航机场地面信息系统实例，对转换结果进行了分析。     

时间约束工作流模型的可调度性分析算法

针对目前工作流管理系统对时间管理支持的严重局限，提出了基于Petri网的工作流时间约束建模方法，首先，将工作流网扩展为时间约束工作流网，然后分析了工作流程的时间特性，并提出了时间约束工作流网的可调度性分析算法，研究结果表明，所提出的建模方法能全面描述工作流的时间信息，对丰富工作流系统的时间约束建模理论具有重要的参考价值。     

面向制造过程的工作流建模

分析了物料清单 (BOM)在产品制造过程中的核心地位 ,并根据工作流的建模模型 ,提出了将BOM表映射成Petri网的算法 ,利用所得到的Petri网建立了面向制造过程的工作流管理系统的过程模型。从而允许设计者仅根据产品的结构 ,而不需要知道实际的过程流程来自动地安排和执行生产任务。