基于WF-net的工作流建模技术及应用

工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,所以它是一种严格的过程形式化体系。讨论 WF-net 的建模技术,并以办公自动化系统中收文为例说明其应用,并分析其在众多的建模工具中所具有的优势。

基于WF-net的卫星在轨测试过程建模

为解决卫星在轨测试过程建模问题,以导航卫星在轨测试为例,应用工作流网(workflow-net,WF-net)建立卫星在轨测试过程模型,描述卫星在轨测试活动过程及其逻辑关系,并应用遍历树算法对模型进行分析验证。分析结果表明:该模型不仅可形式化的描述在轨测试过程中涉及到的活动及其逻辑关系,还可动态分析在轨测试过程的逻辑性。应用工作流网对卫星在轨测试过程进行建模是可行的。

基于WF-net的工作流模式建模与仿真

针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真。首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模型,并对该模型进行仿真调度策略和冲突解决策略进行选择,给出了某产品开发过程的扩展WF-net工作流模型,设计了扩展WF-net工作流模型仿真流程。为了增强模型仿真的可信度和可视性,从Petri网到扩展WF-net工作流网算法和仿真流程,经过仿真可知该模型没有死变迁,是正确的工作流模式模型。

基于WF-net的工作流恢复网模型的研究

针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。

WF-net模型到PNML的转换方法研究与实现

Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNML格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。

一种WF-net合理性验证方法

工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于WF-net工作流建模理论,在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上,提出了一种验证WF-net合理性的方法.

工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.

一种基于WF-Net中隐含任务的过程挖掘算法

首先分析WF-Net中存在的隐含任务问题,然后基于α算法,提出了能发现工作流日志中隐含任务的过程挖掘算法α+**。该算法利用任务间特定的相互依赖关系判定是否存在隐含任务,然后把隐含任务添加到对应的位置生成新日志。最后采用α算法从新日志中提取出工作流网。利用ProM对本算法进行了验证。

基于WF-net的应急管理工作流模型的研究

本文设计了一种基于Petri网工作流模型的建模方法及其相关规则,并且通过应急管理系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程,最后通过Petri网理论对模型进行了正确合理性分析。

基于Petri网的工作流建模与正确性分析

目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青睐。本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性。

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.

工作流网XPDL映射

工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。

工作流模型死锁的Petri网分析

Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺点。最后给出了一个实例:软件测试过程模型。

基于Petri网的工作流层次模型及结构分析

在对工作流网络理论研究的前提下，结合企业业务流程建模的应用特点，提出了几种将工作流网络分层的思想，并着重介绍了将继承特性用于Petri网建模的方法。

基于工作流网的过程模型的合理性分析

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网(WF-net)。基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验证工作流合理性的算法。

基于着色Petri网的工作流建模

为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适合于工作流的事件-条件-动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。

基于CTMC的工作流网过程定义性能分析

为了达到简化分析过程定义的运行时间复杂度的目的,采用构造工作流网过程定义(■,i)覆盖图而获得连续时间SPN(■,i)对应的CTMC状态空间的分析方法,计算出(■,i)中每个可达标识的稳定概率P[Mi],得到过程定义的平均运行时间T。该方法只与过程定义中变迁服务时间和工作流网的过程逻辑有关,克服了涉及工作流管理系统和工作流执行引擎选择的局限性。通过实例验证了该分析方法的优越性,并得出过程定义时间性能分析方法。

工作流挖掘:一种新型工作流自动化建模方法

为解决传统工作流建模方式主观性强、效率低以及成本高等问题,出现一种从工作流日志中自动化推导工作流模型的建模方法,又称工作流挖掘。这种新方法在国际上还处于研究初级阶段,但已引起广泛关注。该文对当前主要研究学者的工作及挖掘算法进行总结,介绍了两种不同类型挖掘算法的具体建模过程,并对其性能进行比较分析,用实例进行解释说明。

工作流网合成规则及其在流程设计中的应用

针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性.使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则.

基于Petri网的保险索赔工作流模型

Petri网是一种有效的形式化建模工具,能自然地描述并发、冲突、同步等系统特性。给出基于Petri网的保险索赔工作流模型,将Petri网三要素以对象的形式描述出来,并对此工作流模型的正确性定义和验证进行了说明。