一种新的基于Petri网的分层工作流过程模型

过程模型的描述能力和分析能力难以满足企业的要求，为此，提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上，通过对基本网进行一定的扩展，给出工作流过程的分层模型。该模型由工作流描述模型和工作流分析模型组成。工作流描述模型直接支持所有工作流模式，特别是多实例、取消、高级同步等高级Petri网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量，并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量，消解工作流描述模型中的冲突；变迁体函数通过可扩展逻辑描述语句，实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型，剥离了工作流描述模型个案的语义信息，可以直接利用已有的Petri网分析技术来分析模型。最后，通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。     

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

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

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

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

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

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

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

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

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

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

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

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

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

基于Petri网的海关业务流程工作流模型分析

Petri网作为当今最具有前途的建模工具,它的应用几乎涉及到计算机学科的各个领域。这里通过对基于Petri网的海关业务流程工作流模型的实例分析,最终得出优秀的工作流模型可以优化工作流程、提高企业运行效率、增强企业竞争力的结论,而且该建模方式也为设计与开发高可靠性、柔性和适用性的工作流模型提供很好的依据。     

基于Petri网的仓库备件管理工作流建模研究

基于Petri网的工作流建模技术具有描述功能强及结构简洁易懂的特点,阐述基于Petri网的工作流建模技术,并将其应用到企业仓库备件管理中。绘制基于Petri网的仓库备件工作流管理系统模型,然后运用工作流网的理论,对该模型进行了化简和合理性证明,为工作流管理系统的后续设计和开发工作打下坚实的基础。     

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

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

广义良构工作流的业务实例性能分析

为完成工作流业务实例时间性能的实时分析,提出了一种结合实例子图分解和模式化简的性能分析方法.工作流业务实例的时间性能仅与已完成的活动和将来可能执行的活动构成的工作流子网有关,业务实例的性能估计只能针对该子网进行.首先提出广义良构工作流网的概念并建立业务实例可达子网的规则和算法,讨论了活跃活动和活跃模式的性能等价模型,随后用这些模型化简广义良构的业务实例可达子网,并将因工作流模式的部分覆盖而不能完全化简的可达子网转换为更为简单的归属子图,以简化其性能求解.最后,通过实例演示了业务实例性能分析过程及方法的有效件.     

基于角色的工作流授权约束规格说明

在工作流管理系统中,数据在工作流任务中流动,执行任务的用户在变化,用户的权限也在变化,现有的授权方法不能很好地描述上述这种职责分离的状态。为此,提出了一个工作流授权约束模型。该模型在工作流应用语境中定义了角色层次函数、任务偏序关系和互斥任务,在此基础上给出了一个基于角色的工作流授权约束语言,它可以准确描述工作流系统的职责分离要求,表达静态、动态授权约束和授权的历史信息,同时,所得到的约束规则集规模相对较小,保证了一致性验证在时间和空间上的可行性。     

基于Web的轻量级工作流管理系统

工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出了一个时间约束有向图模型,并根据提出的动态角色分配方法,给出了一个基于公钥基础设施技术的条件化基于角色的访问控制方法。最后,给出了工作流实例的引擎驱动算法。实际监测和用户反馈结果表明,采用该工作流管理系统作为框架的应用系统,能够显著缩短流程信息应用系统的开发周期,大大提高用户的办事效率。     

基于协调理论的工作流建模方法

针对目前工作流管理系统在描述能力和柔性上的严重不足，本文提出了一种基于协调理论和反馈机制的工作流建模方法。该方法扩展了传统活动网络模型，增加了请求、服务、协调、多实例化等新的建模元素。同时还给出了一个招标与评标过程的工作流模型实例,研究结果表明，与传统的活动网络模型相比，该建模方法在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面都有明显优点，对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值。     

参数化工作流动态建模及其在PDM系统中的应用

为提高工作流对动态不确定因素的处理能力，提出了参数化工作流动态建模方法。通过多个参数化模型的实例，建立实际的业务过程模型；同时为了控制和导航整个业务过程，提出了活动控制参数规则、多于模型实例之间的流转关系控制策略和基于管理角色的人为控制策略。为了实现该动态建模方法，工作流管理系统需要对工作流管理联盟的规范作较小程度的扩充。实际应用表明，这种方法是有效和可行的。