期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到9篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于WF-net的卫星在轨测试过程建模 被引量：3
1
作者 吴云 史建伟 王益忠 《兵工自动化》 2012年第8期90-93,96,共5页
为解决卫星在轨测试过程建模问题,以导航卫星在轨测试为例,应用工作流网(workflow-net,WF-net)建立卫星在轨测试过程模型,描述卫星在轨测试活动过程及其逻辑关系,并应用遍历树算法对模型进行分析验证。分析结果表明:该模型不仅可形式化... 为解决卫星在轨测试过程建模问题,以导航卫星在轨测试为例,应用工作流网(workflow-net,WF-net)建立卫星在轨测试过程模型,描述卫星在轨测试活动过程及其逻辑关系,并应用遍历树算法对模型进行分析验证。分析结果表明:该模型不仅可形式化的描述在轨测试过程中涉及到的活动及其逻辑关系,还可动态分析在轨测试过程的逻辑性。应用工作流网对卫星在轨测试过程进行建模是可行的。 展开更多
关键词 工作流网(wf-net) 卫星 在轨测试 过程建模
下载PDF
基于Petri网的工作流模型合理性研究 被引量：9
2
作者 陈翔 夏国平 李涛 《北京理工大学学报》 EI CAS CSCD 北大核心 2004年第12期1074-1078,共5页
针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net)... 针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法. 展开更多
关键词 工作流模型 工作流网 扩展自由选择网 模型验证
下载PDF
工作流网XPDL映射 被引量：4
3
作者 唐邦志 魏生民 +1 位作者 景韶宇 周欣 《计算机工程与应用》 CSCD 北大核心 2003年第36期41-44,共4页
工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之... 工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。 展开更多
关键词 工作流管理系统 工作流网 XPDL PETRI网 扩展参数映射 软件系统 计算机
下载PDF
基于工作流网的过程模型的合理性分析 被引量：5
4
作者 侯秀萍 邵春明 郑虹 《长春工业大学学报》 CAS 2006年第2期162-164,共3页
针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网(WF-net)。基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验... 针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网(WF-net)。基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验证工作流合理性的算法。 展开更多
关键词 工作流模型 工作流网 扩展自由选择网
下载PDF
基于WF-net的工作流模式建模与仿真 被引量：3
5
作者 费玲玲 唐兴艳 《计算机仿真》 CSCD 北大核心 2011年第4期96-99,共4页
针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真。首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模... 针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真。首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模型,并对该模型进行仿真调度策略和冲突解决策略进行选择,给出了某产品开发过程的扩展WF-net工作流模型,设计了扩展WF-net工作流模型仿真流程。为了增强模型仿真的可信度和可视性,从Petri网到扩展WF-net工作流网算法和仿真流程,经过仿真可知该模型没有死变迁,是正确的工作流模式模型。 展开更多
关键词 工作流模式 工作流网 建模与仿真
下载PDF
基于CTMC的工作流网过程定义性能分析 被引量：1
6
作者 袁飞云 封蕾 夏清国 《现代电子技术》 2011年第6期62-65,共4页
为了达到简化分析过程定义的运行时间复杂度的目的,采用构造工作流网过程定义(■,i)覆盖图而获得连续时间SPN(■,i)对应的CTMC状态空间的分析方法,计算出(■,i)中每个可达标识的稳定概率P[Mi],得到过程定义的平均运行时间T。该方法只与... 为了达到简化分析过程定义的运行时间复杂度的目的,采用构造工作流网过程定义(■,i)覆盖图而获得连续时间SPN(■,i)对应的CTMC状态空间的分析方法,计算出(■,i)中每个可达标识的稳定概率P[Mi],得到过程定义的平均运行时间T。该方法只与过程定义中变迁服务时间和工作流网的过程逻辑有关,克服了涉及工作流管理系统和工作流执行引擎选择的局限性。通过实例验证了该分析方法的优越性,并得出过程定义时间性能分析方法。 展开更多
关键词 工作流网 CTMC 性能分析 PETRI网
下载PDF
基于Agent的着色工作流网的应用研究
7
作者 陈翔 《计算机工程与应用》 CSCD 北大核心 2008年第24期12-14,共3页
目前,基于Petri网的工作流网的应用技术比较缺乏,很难被实际的工作流管理系统所应用。在通过资源管理器扩展工作流网的基础上,给出了将工作流网的过程定义转化为Agent的抽象结构的方法。在此基础上,建立基于Agent和着色工作流网的工作... 目前,基于Petri网的工作流网的应用技术比较缺乏,很难被实际的工作流管理系统所应用。在通过资源管理器扩展工作流网的基础上,给出了将工作流网的过程定义转化为Agent的抽象结构的方法。在此基础上,建立基于Agent和着色工作流网的工作流管理系统框架,结合了工作流网的良好的建模特性和Agent的良好的应用特性,容易在实际系统中加以执行和控制。 展开更多
关键词 AGENT 工作流网 着色工作流网 工作流管理系统
下载PDF
工作流网过程实例调度方法研究
8
作者 袁飞云 王建强 夏清国 《计算机与数字工程》 2011年第4期158-161,共4页
为了解决工作流网过程实例在分布式工作流管理系统中的调度问题,采用过程定义分割服务对进入工作流管理系统的过程定义进行实例化,同时将整体实例的逻辑结构进行模块分割,并将各个模块绑定到分布的工作流机上,由过程实例调度服务负责模... 为了解决工作流网过程实例在分布式工作流管理系统中的调度问题,采用过程定义分割服务对进入工作流管理系统的过程定义进行实例化,同时将整体实例的逻辑结构进行模块分割,并将各个模块绑定到分布的工作流机上,由过程实例调度服务负责模块之间的调度,协调模块之间的调度关系。通过示例表明,这种调度方法实用有效,简化了过程实例在分布工作流机中运行时的调度复杂性。 展开更多
关键词 工作流网 过程实例 调度方法 模块
下载PDF
一种面向网格工作流的增强型Petri网建模方法
9
作者 高理文 姚耀文 《计算机应用与软件》 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
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部