基于广义随机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网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量，并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量，消解工作流描述模型中的冲突；变迁体函数通过可扩展逻辑描述语句，实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型，剥离了工作流描述模型个案的语义信息，可以直接利用已有的Petri网分析技术来分析模型。最后，通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。     

支持CAD/CAPP并行的工作流模型研究

为了对计算机辅助设计/计算机辅助工艺规划并行设计过程进行有效的管理、规划、协调、控制,借鉴工作流管理思想,建立了支持计算机辅助设计/计算机辅助工艺规划并行的工作流模型。采用广义随机Petri网建立了计算机辅助设计/计算机辅助工艺规划并行设计的工作流过程模型,并给出其便于计算机处理的抽象模型,以它为核心,连同并行设计过程任务/活动模型、组织模型、数据模型组成完整的计算机辅助设计/计算机辅助工艺规划并行过程工作流模型,给出了其运行控制模式。     

基于工作流的企业过程仿真技术研究

为解决工作流仿真相对于工作流管理系统比较薄弱的问题,提出了一种基于具有强大数学描述能力的WF-net网的仿真方法,进而给出了基于虚拟运行环境的工作流仿真机制的实现,从而保证了整个工作流系统的安全性和可靠性,并对企业过程提供了有效的支持,使得企业降低成本、增加生产管理的柔性.最后,给出工作流仿真系统JXWorkflow具体实例分析.     

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

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

基于Petri网的制造资源调度工作流模型研究

制造资源调度涉及分布、离散、并发等数据和应用的共享,基于工作流活动和扩展的Petri网研究能适用于制造资源调度的工作流模型。在该模型中,为了表示伙伴企业间复杂的协作过程,在传统Petri网的基础上扩展了着色Petri网和赋时Petri网;为了建立制造资源公共数据中心,利用代理技术集成制造资源和封装原有系统;同时,为了表示制造资源调度过程,利用扩展Petri网配置资源,并建立了基于Petri网的工作流模型进行过程仿真。最后,通过基于可扩展标记语言的工作流过程定义,在公用对象请求调度程序体系结构框架下,以Java和动态服务网页等开发工具构建制造资源调度原型系统。该模型的研究和应用能提高联盟企业在异地协作环境下共享资源的效率,为企业间的协作提供可行的方法和理论。