期刊文献+
共找到287篇文章
< 1 2 15 >
每页显示 20 50 100
基于Petri网的面向测试的工作流系统建模方法 被引量:6
1
作者 郑长友 刘晓明 +1 位作者 姚奕 任正平 《电子科技大学学报》 EI CAS CSCD 北大核心 2014年第1期119-124,共6页
提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,... 提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。 展开更多
关键词 petri 工作流 工作流 工作流测试
在线阅读 下载PDF
基于Petri网的船舶建造工艺工作流建模技术研究 被引量:3
2
作者 钟宇光 孔凡凯 薛开 《造船技术》 北大核心 2005年第4期13-15,47,共3页
提要通过对造船工艺设计流程的分析,基于PetriNet理论建立了工艺工作流模型,能够对工艺设计过程进行动态描述,并通过实例演示了模型正确性检验的过程。
关键词 造船工艺 生产过程控制 设计 数学 船舶造工艺 工作流 petri 技术 petriNET 工艺设计过程
在线阅读 下载PDF
基于Petri网的工作流过程建模 被引量:1
3
作者 翟宜峰 侯召成 《微电子学与计算机》 CSCD 北大核心 2007年第3期113-116,共4页
工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作... 工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。 展开更多
关键词 工作流 工作流过程 petri 工作流逻辑
在线阅读 下载PDF
基于Petri网的测井资料处理工作流建模 被引量:1
4
作者 谢蓉蓉 《电子科技》 2010年第5期38-41,共4页
基于Petri网的建模方法,具有直观的图形表示和坚实的数学基础,是工作流建模和分析的有力工具。文中通过对测井资料处理流程的描述,提出了一个基于Petri网的测井资料处理流程的工作流模型,并利用Murata化简技术对该模型进行了合理性验证。
关键词 petri 测井资料处理 工作流
在线阅读 下载PDF
基于Petri网的工作流时间建模
5
作者 邓海鸿 周春贵 +1 位作者 高允锋 刘雷 《长春工业大学学报》 CAS 2009年第1期59-63,共5页
针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法。并以某一检查案例为工作流模型,进行了工作流建模和时间性能分析。
关键词 工作流 petri 时间性能
在线阅读 下载PDF
基于着色Petri网的混合工作流建模及合理性分析 被引量:4
6
作者 单继城 黄光奇 +1 位作者 王德鑫 刘青宝 《信息工程大学学报》 2015年第2期218-224,共7页
BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工... BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工作流建模方法,对所得模型进行了合理性分析。采用模块聚合方式给出了混合工作流的层次CPN模型,利用CPN Tools工具分析验证混合工作流的有界性、可达性及活性等性质,根据验证结果进行反馈调整,可以减少因流程设计错误给流程实际部署和运行带来的损失。 展开更多
关键词 混合工作流 BPEL4People 着色petri 验证
在线阅读 下载PDF
基于扩展Petri网的工作流建模及应用 被引量:1
7
作者 钟越 马光思 柯贤波 《现代电子技术》 2007年第9期106-108,共3页
为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立... 为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。 展开更多
关键词 扩展petri 工作流 验证
在线阅读 下载PDF
基于Petri网的工作流建模技术的应用研究
8
作者 时亚娟 顾军华 孙亚娟 《河北省科学院学报》 CAS 2005年第z1期12-14,共3页
重点研究基于Petri网的工作流建模的分析技术,并以高等院校毕业设计管理系统中的双向选题过程为实例,研究了模型正确性判定及优化等问题.实际表明,该建模方法简单、可行,并能保证工作流模型的有效性.
关键词 petri 工作流 分析
在线阅读 下载PDF
基于Petri网的工作流建模与分析
9
作者 孙浩 《职业技术教育》 2006年第17期135-136,共2页
工作流是指工作任务在多个人或单位之间的流转。在计算机网络环境下,这种流转表现为信息和数据在多人之间的传送。工作流所要解决的主要问题是使多个参与者之间按照某种预定义的规则传递文档、信息或任务的过程自动进行,从而实现某个... 工作流是指工作任务在多个人或单位之间的流转。在计算机网络环境下,这种流转表现为信息和数据在多人之间的传送。工作流所要解决的主要问题是使多个参与者之间按照某种预定义的规则传递文档、信息或任务的过程自动进行,从而实现某个预期的业务目标。 展开更多
关键词 工作流 petri 计算机络环境 业务目标 参与者 流转 信息 单位
在线阅读 下载PDF
基于Petri网和UML的工作流模型设计 被引量:6
10
作者 柯飞帆 宁宣熙 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2006年第1期121-125,共5页
介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语... 介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。 展开更多
关键词 工作流 工作流 petri 统一语言
在线阅读 下载PDF
基于赋时着色Petri网的协同工作建模和性能研究 被引量:5
11
作者 田锋 李人厚 张金成 《西安交通大学学报》 EI CAS CSCD 北大核心 2003年第6期560-564,共5页
提出了利用赋时着色Petri网(TimedColoredPetriNet)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照... 提出了利用赋时着色Petri网(TimedColoredPetriNet)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照协同成员(组)的不同能力,在满足完成时间的要求下进行任务分配,从而达到了整体协作性能提升的效果.同时,用Deisgn/CPN对该策略进行了仿真分析,其结果证明了该方法的有效性和可行性.所提的调度策略已在CooPDesigner系统中得以实现. 展开更多
关键词 协同工作 赋时着色petri 协调策略 性能分析
在线阅读 下载PDF
一种基于Petri网的多机器人路径规划建模方法
12
作者 褚晶 周力 +3 位作者 岳颀 胡悦 郑子轩 黄勇 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第4期716-725,共10页
月球基地建设是当前各国月球探测与开发计划的核心使能技术之一。然而,为消除高昂的运输成本和有限载人航天技术的约束,使用多机器人团队建造月球基地的新研究方案被提出,该方案的关键是如何实现多机器人针对复杂任务的路径规划。为此,... 月球基地建设是当前各国月球探测与开发计划的核心使能技术之一。然而,为消除高昂的运输成本和有限载人航天技术的约束,使用多机器人团队建造月球基地的新研究方案被提出,该方案的关键是如何实现多机器人针对复杂任务的路径规划。为此,以月球基地建设场景中的探测采集区域、采集月壤、搬运月壤等作为复杂的任务输入,研究了一种基于Petri网模型的多机器人路径规划建模方法。构建了多机器人运动的Petri网模型;使用线性时序逻辑(linear temporal logic,LTL)语言描述月球基地建设的相关任务;将Petri网模型和LTL公式结合求解得到多机器人路径;在Matlab软件中进行仿真验证,并与使用切换系统的建模方法进行对比。结果表明,使用Petri网模型所需的建模总时间比切换系统模型单个任务的建模时间减少2个数量级,说明建立的Petri网多机器人模型具有避免维度爆炸、计算高效等优势。 展开更多
关键词 月球基地 petri 路径规划 线性时序逻辑
在线阅读 下载PDF
基于Petri网的数学建模竞赛报名系统建模优化及变化域分析
13
作者 关梅 赵玉梅 胡超 《蚌埠学院学报》 2024年第5期112-117,共6页
为解决数学建模竞赛报名系统中存在的结构性问题,提高竞赛报名效率,利用Petri网的相关理论对数学建模竞赛报名系统进行建模,并对竞赛报名系统存在的问题,进行了优化并使用模型间迹行为轮廓关系对模型进行变化域定位分析,最后使用PIPE软... 为解决数学建模竞赛报名系统中存在的结构性问题,提高竞赛报名效率,利用Petri网的相关理论对数学建模竞赛报名系统进行建模,并对竞赛报名系统存在的问题,进行了优化并使用模型间迹行为轮廓关系对模型进行变化域定位分析,最后使用PIPE软件进行仿真模拟。实验结果表明,优化后的模型具有合理性和可行性。 展开更多
关键词 petri 行为轮廓 变迁规则 优化 数学竞赛报名系统
在线阅读 下载PDF
基于Petri网工作流过程模型合理性验证方法 被引量:1
14
作者 王立君 郭晓冬 《吉林大学学报(信息科学版)》 CAS 2011年第6期590-594,共5页
为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法。实验证明,该算法在实际应用中具有可操作... 为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法。实验证明,该算法在实际应用中具有可操作性,有较强的现实意义。 展开更多
关键词 工作流 过程 petri 合理性验证
在线阅读 下载PDF
基于广义随机Petri网的装备战场抢修建模与分析 被引量:1
15
作者 邱雄飞 张桦 +1 位作者 赵润泽 黄增端 《现代防御技术》 北大核心 2024年第4期130-136,共7页
装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,... 装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,并根据广义随机Petri网和马尔可夫链同构特性求解模型主要性能指标。最后通过实例分析说明,该方法可以有效求解装备战场抢修的主要性能指标,验证了模型的有效性和合理性,同时也为装备战场抢修决策提供了一定的参考依据。 展开更多
关键词 装备保障 战场抢修 广义随机petri(GSPN) 马尔可夫链(MC) 与分析
在线阅读 下载PDF
工作流建模技术综述 被引量:18
16
作者 张朝辉 刘大有 刘伟江 《微电子学与计算机》 CSCD 北大核心 2008年第10期69-71,共3页
工作流管理是目前企业管理领域的一个研究热点,而工作流建模是工作流技术在应用过程中必须解决的一个关键.现有工作流建模技术已经在很多领域得到应用,但仍然存在一些问题,在分布式、柔性和自动化程度等方面尚存在着不足,这将成为制约... 工作流管理是目前企业管理领域的一个研究热点,而工作流建模是工作流技术在应用过程中必须解决的一个关键.现有工作流建模技术已经在很多领域得到应用,但仍然存在一些问题,在分布式、柔性和自动化程度等方面尚存在着不足,这将成为制约电子商务、企业资源规划等管理系统应用的瓶颈.寻求一些新的方法来解决工作流的建模问题已成为一个具有重要意义的研究课题.介绍了工作流建模技术及其发展现状、存在的问题、最新发展以及展望. 展开更多
关键词 工作流 工作流建模petri网 移动AGENT
在线阅读 下载PDF
基于工作流网的电子商务系统建模 被引量:1
17
作者 徐润森 《电子工程师》 2005年第10期71-73,共3页
针对电子商务企业业务过程重组对电子商务系统建设提出的更高要求,应用工作流网对电子商务交易流程建模。工作流网基于Petri网,把任务关系归纳为顺序、并行、选择、迭代等4种路由结构,可表达电子商务系统的各种依赖关系,其图形直观、易... 针对电子商务企业业务过程重组对电子商务系统建设提出的更高要求,应用工作流网对电子商务交易流程建模。工作流网基于Petri网,把任务关系归纳为顺序、并行、选择、迭代等4种路由结构,可表达电子商务系统的各种依赖关系,其图形直观、易于理解,数学基础严密、易于分析和验证。文中对给出的B2C(企业到客户)业务流程建立了基于工作流网的模型,可在此基础上进行分析和验证,有利于进一步的系统设计。因此,工作流网在电子商务系统建模中有较好的发展前景。 展开更多
关键词 petri 工作流 电子商务
在线阅读 下载PDF
基于Petri网的危险货物道路运输应急协同处置流程建模
18
作者 李虹 熊琴 谷慎昌 《时代汽车》 2024年第9期190-192,共3页
为有效提高危险货物道路运输突发事件应急处置效率,基于随机Petri网构建了危险货物道路运输应急协同处置流程模型;通过同构马尔可夫链分析该流程模型的时间等性能,以各标识稳定概率的累计变化值为切入点,确定应急处置流程中的关键环节,... 为有效提高危险货物道路运输突发事件应急处置效率,基于随机Petri网构建了危险货物道路运输应急协同处置流程模型;通过同构马尔可夫链分析该流程模型的时间等性能,以各标识稳定概率的累计变化值为切入点,确定应急处置流程中的关键环节,并通过边际效益优化实施速率。研究结果表明,构建的危险货物道路运输应急协同处置流程模型能量化确定应急处置的关键点,可有效提高多主体应急联动处置效率。 展开更多
关键词 危险货物运输 应急协同处置 流程 随机petri
在线阅读 下载PDF
基于Petri网的全自动无人驾驶列车停站场景形式化建模与验证
19
作者 王玮琦 任晨宇 +1 位作者 陈黎洁 侯卓璞 《铁道通信信号》 2024年第3期61-68,共8页
为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立... 为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立Petri网模型,并利用仿真软件PIPE对其有效性和正确性进行形式化验证。针对可能出现的异常情况对模型进行优化,设置车门与站台门开关时序,避免乘客拥挤时出现安全隐患。试验结果表明:建立的Petri网模型有界、安全且无死锁,满足列车停站场景功能需求,模型的可靠性和有效性得以验证,为全自动无人驾驶系统的开发应用与安全分析提供理论支撑。 展开更多
关键词 全自动无人驾驶 自动化等级 列车停站场景 petri 形式化 形式化验证
在线阅读 下载PDF
基于扩展时间工作流网的工作流过程建模
20
作者 王统一 刘庆华 +1 位作者 宋宁哲 方其庆 《空军雷达学院学报》 2010年第6期446-449,共4页
工作流管理系统中时间约束意义重大.为了在工作流模型中引入时间因素,对模型的时间性能进行评估,提出一种基于扩展时间工作流网模型.通过对模型进行形式化定义,描述了模型到工作流过程模型的映射,并针对工作流网模型存在的4种基本逻辑结... 工作流管理系统中时间约束意义重大.为了在工作流模型中引入时间因素,对模型的时间性能进行评估,提出一种基于扩展时间工作流网模型.通过对模型进行形式化定义,描述了模型到工作流过程模型的映射,并针对工作流网模型存在的4种基本逻辑结构,提出一种时间线性简化规则;运用此简化规则,对工作流网模型进行压缩,以便计算所建模型的时间性能.最后结合一个工作流实例,运用提出的简化规则对约束上的常量时间进行了初步分析. 展开更多
关键词 扩展时间工作流 过程 性能分析
在线阅读 下载PDF
上一页 1 2 15 下一页 到第
使用帮助 返回顶部