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的卫星在轨测试过程建模

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

一种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网,通过建立工作流虚拟运行环境来执行仿真的方法,并构建了一个工作流仿真平台JXWf_Simulation,最后给出了JXWf_Simulation具体实例分析。

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

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

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

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

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

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

基于Wf-Net的工作流模型分析

企业过程再造最终目的是提高管理效率和水平,增强企业的核心竞争力。工作流技术为其提供了强有力的工具。目前工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和图形化表示的直观性,因而是一种理想的建模和分析工具。基于Wf-Net的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。

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

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

基于WF-net的流程距离测度模型研究

流程比对一直是业务流程管理的一个研究热点。它是指通过比较得出两个流程的相似度或相异度。流程距离是对两个流程相异程度的描述。在WF-net的基础上,明确提出了流程距离的概念,并在业务控制流及其资源的角度上建立了流程距离测度模型,用于测量两个流程之间的距离。通过分析得出:在多个流程中,能够找到与指定流程最近或最远的流程。证明提出的流程距离测度方法是可行的。

专用通信装备配发过程的WF-nets模型

将工作流网(WF-nets)的基本理论应用于专用通信装备配发过程建模,利用CPN Tools对模型进行仿真分析,验证模型的正确性及合理性;仿真结果表明专用通信装备管理不适合采用集中统管方式;在此为专用通信装备配发流程改进提供了理论依据,也为专用通信装备管理系统的设计提供了模型基础。

WF-net工作流过程模型的合理性研究

文章介绍了一种工作流建模工具——WF-net,并着重讨论了WF-net工作流过程模型的一个基本特性,即合理性。

一种基于扩展WF-Net的工作流建模方法

本文以工作流系统特性和Petri网模型理论为依据,分析了WF-Net在工作流建模中的局限性,并运用一些成熟的建模思想对其进行了改进,使其在描述机制上更加完善。文章在最后给出了该扩展模型的形式化定义。

一种映射BPEL中的links结构至WF-nets的新方法

本文提出了一种新的映射BPEL中links结构的新方法,从而使得所得到的WF-nets更加简洁,并且解决了当Links结构中的joinCondition的结果为false时所出现的与原BPEL process不一致的问题。

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

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

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

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

基于Petri网的网格工作流建模与优化

网格工作流不仅仅是传统工作流技术在网格环境中的一个应用,同时有大量的基本问题需要重新考虑。以Petri网建模技术构建网格工作流的过程模型有其优点和不足,可以在传统Petri网的基础上针对网格工作流的特点进行扩展,通过定义动态有色Petri网这一建模语言,解决网格工作流过程模型中的规模问题、动态性问题和选择性问题。

一种面向网格工作流的增强型Petri网建模方法

随着网格技术的迅速发展,网格工作流也逐渐成为了研究的热点。对于传统的工作流而言,Petri-Net与WF-Net以其简单实用的特点而被广泛使用。然而,它们在实际建模的过程中仍存在一些问题,同时也无法满足网格环境下工作流的建模要求。因此,提出一种新的增强型Petri网建模方法。该方法在Petri的基础上,对嵌套、撤回、资源等方面做了严密的定义,弥补了Petri-Net与WF-Net的不足,是一种有效的针对于网格工作流的建模方法。