期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
基于WF-net的工作流建模技术及应用 被引量:2
1
作者 宋贤钧 王炳鹏 郭佳 《计算机科学》 CSCD 北大核心 2006年第4期134-136,共3页
工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,... 工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,所以它是一种严格的过程形式化体系。讨论 WF-net 的建模技术,并以办公自动化系统中收文为例说明其应用,并分析其在众多的建模工具中所具有的优势。 展开更多
关键词 工作流 PETRI 工作流网 wf-net
在线阅读 下载PDF
基于WF-net的卫星在轨测试过程建模 被引量:3
2
作者 吴云 史建伟 王益忠 《兵工自动化》 2012年第8期90-93,96,共5页
为解决卫星在轨测试过程建模问题,以导航卫星在轨测试为例,应用工作流网(workflow-net,WF-net)建立卫星在轨测试过程模型,描述卫星在轨测试活动过程及其逻辑关系,并应用遍历树算法对模型进行分析验证。分析结果表明:该模型不仅可形式化... 为解决卫星在轨测试过程建模问题,以导航卫星在轨测试为例,应用工作流网(workflow-net,WF-net)建立卫星在轨测试过程模型,描述卫星在轨测试活动过程及其逻辑关系,并应用遍历树算法对模型进行分析验证。分析结果表明:该模型不仅可形式化的描述在轨测试过程中涉及到的活动及其逻辑关系,还可动态分析在轨测试过程的逻辑性。应用工作流网对卫星在轨测试过程进行建模是可行的。 展开更多
关键词 工作流网(wf-net) 卫星 在轨测试 过程建模
在线阅读 下载PDF
基于WF-net的工作流恢复网模型的研究 被引量:2
3
作者 黄龙达 娄渊胜 《计算机应用研究》 CSCD 北大核心 2007年第12期68-71,共4页
针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用EC... 针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。 展开更多
关键词 工作流恢复网模型 异常处理 工作流网 事件-条件-动作 数据依赖
在线阅读 下载PDF
WF-net模型到PNML的转换方法研究与实现 被引量:4
4
作者 周建涛 海晓军 《计算机科学》 CSCD 北大核心 2010年第12期96-98,105,共4页
Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF... Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNML格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。 展开更多
关键词 元模型 wf-net PNML 转换规则
在线阅读 下载PDF
工作流网WRI WF-net的验证方法研究及实现
5
作者 朱伟杰 葛季栋 +2 位作者 鲁平 胡昊 吕建 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第5期519-527,共9页
WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是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 WRI wf-net 工作流模型 合理性
在线阅读 下载PDF
基于Petri网的工作流建模与正确性分析 被引量:14
6
作者 周福明 吴斌 +1 位作者 顾庆 陈道蓄 《计算机科学》 CSCD 北大核心 2005年第2期121-124,共4页
目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青睐。本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性。
关键词 PETRI网 工作流建模 正确性 工作流模型 算法 工具 使用 图形表示 定义
在线阅读 下载PDF
基于Petri网的工作流模型合理性研究 被引量:9
7
作者 陈翔 夏国平 李涛 《北京理工大学学报》 EI CAS CSCD 北大核心 2004年第12期1074-1078,共5页
针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net)... 针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法. 展开更多
关键词 工作流模型 工作流网 扩展自由选择网 模型验证
在线阅读 下载PDF
工作流网XPDL映射 被引量:4
8
作者 唐邦志 魏生民 +1 位作者 景韶宇 周欣 《计算机工程与应用》 CSCD 北大核心 2003年第36期41-44,共4页
工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之... 工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。 展开更多
关键词 工作流管理系统 工作流网 XPDL PETRI网 扩展参数映射 软件系统 计算机
在线阅读 下载PDF
工作流模型死锁的Petri网分析 被引量:3
9
作者 谭玲 郑栋 +1 位作者 顾庆 陈道蓄 《计算机科学》 CSCD 北大核心 2006年第7期111-114,共4页
Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺... Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺点。最后给出了一个实例:软件测试过程模型。 展开更多
关键词 工作流 PETRI网 wf-net 死锁 可达树 可达图
在线阅读 下载PDF
基于Petri网的工作流层次模型及结构分析 被引量:11
10
作者 陈翔 夏国平 《计算机工程》 CAS CSCD 北大核心 2003年第1期11-13,共3页
在对工作流网络理论研究的前提下,结合企业业务流程建模的应用特点,提出了几种将工作流网络分层的思想,并着重介绍了将继承特性用于Petri网建模的方法。
关键词 PETRI网 工作流 层次模型 结构分析 面向对象 程序设计方法
在线阅读 下载PDF
基于着色Petri网的工作流建模 被引量:6
11
作者 陈翔 刘军丽 《计算机工程》 EI CAS CSCD 北大核心 2006年第8期86-88,共3页
为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适合于工作... 为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适合于工作流的事件-条件-动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。 展开更多
关键词 工作流模型 着色PETRI网 着色工作流网 事件-条件-动作规则
在线阅读 下载PDF
基于CTMC的工作流网过程定义性能分析 被引量:1
12
作者 袁飞云 封蕾 夏清国 《现代电子技术》 2011年第6期62-65,共4页
为了达到简化分析过程定义的运行时间复杂度的目的,采用构造工作流网过程定义(■,i)覆盖图而获得连续时间SPN(■,i)对应的CTMC状态空间的分析方法,计算出(■,i)中每个可达标识的稳定概率P[Mi],得到过程定义的平均运行时间T。该方法只与... 为了达到简化分析过程定义的运行时间复杂度的目的,采用构造工作流网过程定义(■,i)覆盖图而获得连续时间SPN(■,i)对应的CTMC状态空间的分析方法,计算出(■,i)中每个可达标识的稳定概率P[Mi],得到过程定义的平均运行时间T。该方法只与过程定义中变迁服务时间和工作流网的过程逻辑有关,克服了涉及工作流管理系统和工作流执行引擎选择的局限性。通过实例验证了该分析方法的优越性,并得出过程定义时间性能分析方法。 展开更多
关键词 工作流网 CTMC 性能分析 PETRI网
在线阅读 下载PDF
工作流挖掘:一种新型工作流自动化建模方法 被引量:10
13
作者 李燕 冯玉强 《计算机工程》 CAS CSCD 北大核心 2007年第4期20-22,共3页
为解决传统工作流建模方式主观性强、效率低以及成本高等问题,出现一种从工作流日志中自动化推导工作流模型的建模方法,又称工作流挖掘。这种新方法在国际上还处于研究初级阶段,但已引起广泛关注。该文对当前主要研究学者的工作及挖掘... 为解决传统工作流建模方式主观性强、效率低以及成本高等问题,出现一种从工作流日志中自动化推导工作流模型的建模方法,又称工作流挖掘。这种新方法在国际上还处于研究初级阶段,但已引起广泛关注。该文对当前主要研究学者的工作及挖掘算法进行总结,介绍了两种不同类型挖掘算法的具体建模过程,并对其性能进行比较分析,用实例进行解释说明。 展开更多
关键词 工作流建模 工作流挖掘 工作流日志 wf-net
在线阅读 下载PDF
工作流网合成规则及其在流程设计中的应用 被引量:1
14
作者 张曼 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2012年第2期200-206,共7页
针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的... 针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性.使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则. 展开更多
关键词 工作流 PETRI网 合成规则 自由选择工作流网 可分离工作流网
在线阅读 下载PDF
一种面向网格工作流的增强型Petri网建模方法
15
作者 高理文 姚耀文 《计算机应用与软件》 CSCD 北大核心 2007年第5期121-123,共3页
随着网格技术的迅速发展,网格工作流也逐渐成为了研究的热点。对于传统的工作流而言,Petri-Net与WF-Net以其简单实用的特点而被广泛使用。然而,它们在实际建模的过程中仍存在一些问题,同时也无法满足网格环境下工作流的建模要求。因此,... 随着网格技术的迅速发展,网格工作流也逐渐成为了研究的热点。对于传统的工作流而言,Petri-Net与WF-Net以其简单实用的特点而被广泛使用。然而,它们在实际建模的过程中仍存在一些问题,同时也无法满足网格环境下工作流的建模要求。因此,提出一种新的增强型Petri网建模方法。该方法在Petri的基础上,对嵌套、撤回、资源等方面做了严密的定义,弥补了Petri-Net与WF-Net的不足,是一种有效的针对于网格工作流的建模方法。 展开更多
关键词 网格 工作流 Petri—Net wf-net场所 变迁
在线阅读 下载PDF
基于着色工作流网的工作流模型的设计与实现
16
作者 邬家炜 陈志涛 《计算机科学》 CSCD 北大核心 2006年第2期142-145,共4页
本文在扩展 Petri 网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务... 本文在扩展 Petri 网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务过程定义。 展开更多
关键词 工作流 工作流模型 PETRI网 着色工作流网 工作流建模工具
在线阅读 下载PDF
真并发等价性下的流程模型转换方法
17
作者 张曼 段振华 《西安交通大学学报》 EI CAS CSCD 北大核心 2012年第10期42-47,共6页
针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间... 针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间是完全并发互模拟关系的充分条件;基于Petri网的网展开,提出获得工作流网的可分离形式的局部网展开算法;通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件,保证两个网模型的等价性.所提转换方法与已有方法相比,能够保留并发层次,且所需步骤更少,有利于流程模型的演化. 展开更多
关键词 工作流 PETRI网 自由选择工作流网 可分离工作流网 真并发等价
在线阅读 下载PDF
基于Agent的着色工作流网的应用研究
18
作者 陈翔 《计算机工程与应用》 CSCD 北大核心 2008年第24期12-14,共3页
目前,基于Petri网的工作流网的应用技术比较缺乏,很难被实际的工作流管理系统所应用。在通过资源管理器扩展工作流网的基础上,给出了将工作流网的过程定义转化为Agent的抽象结构的方法。在此基础上,建立基于Agent和着色工作流网的工作... 目前,基于Petri网的工作流网的应用技术比较缺乏,很难被实际的工作流管理系统所应用。在通过资源管理器扩展工作流网的基础上,给出了将工作流网的过程定义转化为Agent的抽象结构的方法。在此基础上,建立基于Agent和着色工作流网的工作流管理系统框架,结合了工作流网的良好的建模特性和Agent的良好的应用特性,容易在实际系统中加以执行和控制。 展开更多
关键词 AGENT 工作流网 着色工作流网 工作流管理系统
在线阅读 下载PDF
基于着色Petri网的工作流模型研究 被引量:6
19
作者 龚凌玲 钟勇 《计算机应用》 CSCD 北大核心 2008年第B06期291-294,共4页
针对传统Petri网建模方法的不足,研究了通过资源结构建模的工作流建模方法。在着色Petri网的基础上提出资源/任务网(R/T-net),并给出基于R/T-net的工作流建模过程。R/T模型能够有效地实现产品数据结构和过程结构的统一,资源流对任务流... 针对传统Petri网建模方法的不足,研究了通过资源结构建模的工作流建模方法。在着色Petri网的基础上提出资源/任务网(R/T-net),并给出基于R/T-net的工作流建模过程。R/T模型能够有效地实现产品数据结构和过程结构的统一,资源流对任务流的控制以及模型的仿真。 展开更多
关键词 工作流 着色PETRI网 资源/任务网
在线阅读 下载PDF
基于高级Petri网的工作流建模研究与仿真分析 被引量:1
20
作者 沈美 刘同义 +1 位作者 于翔 丁香乾 《计算机工程与应用》 CSCD 北大核心 2006年第32期200-203,共4页
基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了... 基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了定性分析,验证了此模型的结构是正确、合理的,且性能优化。 展开更多
关键词 PETRI网 工作流 过程建模 工作流网 扩展PETRI网
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部