期刊文献+
共找到99篇文章
< 1 2 5 >
每页显示 20 50 100
虚拟企业中电子商务应用的工作流模型及实现 被引量:15
1
作者 王 茜 何文奇 卢 菁 《计算机研究与发展》 EI CSCD 北大核心 2002年第6期749-755,共7页
虚拟企业中电子商务技术应用的一个关键点是要实现跨组织、多数据库、实时的数据集成和过程集成.基于角色和扩展的Petri网,设计了一个能够建立虚拟企业中电子商务应用的工作流模型,并给出了原型系统的体系结构.该模型在概念层上比较容... 虚拟企业中电子商务技术应用的一个关键点是要实现跨组织、多数据库、实时的数据集成和过程集成.基于角色和扩展的Petri网,设计了一个能够建立虚拟企业中电子商务应用的工作流模型,并给出了原型系统的体系结构.该模型在概念层上比较容易表示各伙伴企业在实现业务目标时的动态行为;在物理实现时比较容易基于分布对象体系结构实现对象的即插即用、互操作.为虚拟企业实现电子商务应用提供了新的思路. 展开更多
关键词 虚拟企业 电子商务 工作流模型 过程集成 petri 分布对象技术
下载PDF
虚拟企业供应链工作流模型的研究与实现 被引量:6
2
作者 王茜 何文奇 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2002年第1期41-46,共6页
采用扩展的Petri网作建模工具 ,将活动分到每个角色 ,基于角色建立虚拟企业中电子商务的工作流模型。该模型在概念层上比较容易表示各伙伴企业在实现业务目标过程中的动态行为 ;在物理实现时比较容易基于分布对象体系结构实现对象的即... 采用扩展的Petri网作建模工具 ,将活动分到每个角色 ,基于角色建立虚拟企业中电子商务的工作流模型。该模型在概念层上比较容易表示各伙伴企业在实现业务目标过程中的动态行为 ;在物理实现时比较容易基于分布对象体系结构实现对象的即插即用。系统建立在CORBAWeb/Intranet平台上 ,原型系统可以按图形化的模型跨平台互操作、触发相应的处理单元PSA、共享信息、执行企业的活动 ,浏览器可动态地显示业务执行的过程。 展开更多
关键词 虚拟企业 供应链 petri CORBA 工作流模型 经营管理
下载PDF
一种多机器人协作控制方法 被引量:3
3
作者 孟伟 洪炳镕 韩学东 《机器人》 EI CSCD 北大核心 2004年第1期58-62,共5页
提出了一种基于Petri网模型的多个移动机器人协作控制方法 .该方法主要包括两个模块 :高层控制模块 (HLCM)和低层控制模块 (LLCM) .HLCM负责任务分配和再规划 ,LLCM实现单个机器人的控制逻辑 .利用可达树对Petri网模型中的死锁进行检测 ... 提出了一种基于Petri网模型的多个移动机器人协作控制方法 .该方法主要包括两个模块 :高层控制模块 (HLCM)和低层控制模块 (LLCM) .HLCM负责任务分配和再规划 ,LLCM实现单个机器人的控制逻辑 .利用可达树对Petri网模型中的死锁进行检测 ,并给出了消除死锁的方法 .仿真实验证明了该方法的有效性 . 展开更多
关键词 多机器人系统 协作 petri网模型 死锁
下载PDF
水稻质量安全可追溯系统 被引量:14
4
作者 于合龙 张恒维 +1 位作者 刘杰 许荣泽 《吉林农业大学学报》 CAS CSCD 北大核心 2018年第1期120-126,共7页
针对水稻质量安全问题,以珲春水稻为研究对象,结合利用物联网技术、RFID技术、条码技术,利用petri网模型设计并实现了水稻质量安全可追溯物联网系统。系统通过采用浏览器/服务器(Browser/Server)模式对水稻的种植信息、农事信息、加工... 针对水稻质量安全问题,以珲春水稻为研究对象,结合利用物联网技术、RFID技术、条码技术,利用petri网模型设计并实现了水稻质量安全可追溯物联网系统。系统通过采用浏览器/服务器(Browser/Server)模式对水稻的种植信息、农事信息、加工及质量检测信息、物流运输及终端销售各个环节进行实时跟踪与记录,并将各个环节中所产生的数据通过无线局域网、移动通讯网(3G/4G)、互联网等动态传输网络传输至系统服务器,通过分析与整理形成溯源码。消费者通过扫描溯源码,可以方便快捷的查询到所购买大米的相关追溯信息,真正的实现水稻生产、管理、加工、销售一体化。 展开更多
关键词 物联网 petri网模型 可追溯系统 RFID技术 一体化
原文传递
半导体制造系统改进Petri网模型的建立及优化调度 被引量:8
5
作者 苏国军 汪雄海 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2011年第7期1372-1377,共6页
为了更有效优化半导体制造系统生产资源调度,提出了基于分层着色时间Petri网模型的分时段优化调度方案.通过增强基本Petri网的描述能力和引入分层Petri网的思想,根据半导体制造系统的结构建立其改进Petri网模型-分层着色时间Petri网模型... 为了更有效优化半导体制造系统生产资源调度,提出了基于分层着色时间Petri网模型的分时段优化调度方案.通过增强基本Petri网的描述能力和引入分层Petri网的思想,根据半导体制造系统的结构建立其改进Petri网模型-分层着色时间Petri网模型,并在模型中引入调度库所将调度算法嵌入到模型中,该模型能有效地克服基本Petri网模型规模膨胀的缺陷;同时将每一生产周期分成若干时间段,利用遗传算法来寻找各时间段内调度规则组合来优化半导体制造系统的动态性能,实现分时段优化调度,编码时,根据机器组的利用率来选择部分机器组为瓶颈机器组,重点调度瓶颈机器组,提高算法的搜索效率;仿真实验结果验证了该调度方案的优越性. 展开更多
关键词 半导体制造系统 petri网模型 遗传算法 分时段优化调度
原文传递
IMA重构的功能危害分析方法研究 被引量:7
6
作者 陈龙 王立松 《计算机工程》 CAS CSCD 北大核心 2016年第6期151-155,160,共6页
传统综合模块化航电(IMA)重构危害分析方法是一种静态的系统结构危害分析方法,无法对IMA重构动态的失效情形进行危害分析,经典Petri网的分析方法在进行系统动态运行危害分析时需要生成所有可达图,容易导致可达图的状态空间过大。为此,... 传统综合模块化航电(IMA)重构危害分析方法是一种静态的系统结构危害分析方法,无法对IMA重构动态的失效情形进行危害分析,经典Petri网的分析方法在进行系统动态运行危害分析时需要生成所有可达图,容易导致可达图的状态空间过大。为此,提出一种新的IMA重构危害分析方法。该方法基于IMA重构控制进程的AADL模型,将重构控制流模型转化为Petri网模型,利用Petri网的向回关键态算法,并基于Petri网的可达性分析方法对IMA重构功能的危害进行分析。分析结果表明,该方法不仅解决了IMA重构动态运行时的危害问题,而且克服了传统Petri网可达性分析带来的状态爆炸,能识别出引起高风险状态的关键控制要素。 展开更多
关键词 综合模块化航电 重构 petri网模型 危害分析 关键态算法
下载PDF
基于冗余嵌入Petri网的电网故障诊断方法 被引量:7
7
作者 吉兴全 梁瑜娜 +2 位作者 于永进 白星振 吴娜 《安徽大学学报(自然科学版)》 CAS 北大核心 2016年第5期50-56,共7页
针对现有电网故障诊断方法存在的容错性和适应性不够理想的问题,以电气量信息和保护动作信息为依据,基于冗余嵌入Petri网和范德蒙矩阵构建电网的Petri网故障诊断方法,根据变迁的发生及库所中托肯的转移,确定故障位置.通过算例分析验证... 针对现有电网故障诊断方法存在的容错性和适应性不够理想的问题,以电气量信息和保护动作信息为依据,基于冗余嵌入Petri网和范德蒙矩阵构建电网的Petri网故障诊断方法,根据变迁的发生及库所中托肯的转移,确定故障位置.通过算例分析验证所提方法的有效性和合理性,结果表明该方法简化了诊断过程,提高了准确性,并能灵活适应电网拓扑结构的变化. 展开更多
关键词 故障诊断 petri网模型 继电保护 容错性
下载PDF
矿山事故应急救援数字预案的任务协同流程网络模型及时效分析 被引量:7
8
作者 赖祥威 郑万波 +3 位作者 吴燕清 夏云霓 冉啟华 董银环 《计算机科学》 CSCD 北大核心 2021年第S01期596-602,共7页
矿山开采环境复杂,一旦发生事故,应急救援工作困难大,研究矿山事故应急救援流程有利于科学指导相关人员提高应急处置的效率。文中针对矿山应急管理的数字预案的任务协同问题开展研究。首先,描述省级数字预案体系的典型国有企业应急预案... 矿山开采环境复杂,一旦发生事故,应急救援工作困难大,研究矿山事故应急救援流程有利于科学指导相关人员提高应急处置的效率。文中针对矿山应急管理的数字预案的任务协同问题开展研究。首先,描述省级数字预案体系的典型国有企业应急预案体系及衔接关系;其次,建立典型矿山事故灾难应急救援指挥工作流Petri网模型;再次,利用随机Petri网和随机过程分析技术,获得多个瞬态和稳态的计算结果,建立预测指挥信息调度工作流程的所有救援任务时间模型;最后,以典型瓦斯爆炸案例进行建模,并对模型进行性能分析。研究结果表明,该模型实证结果比较合理,在矿山应急救援方面具有普适性,能够优化应急救援调配,提高救援效率。 展开更多
关键词 数字化预案 任务协同流程 petri网模型 矿山事故救援 时效分析
下载PDF
基于Petri网的软件测试分析 被引量:4
9
作者 方贤文 赵艳 殷志祥 《计算机技术与发展》 2007年第2期96-98,102,共4页
软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、... 软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。 展开更多
关键词 petri 软件测试 C程序 petri网模型
下载PDF
并发系统建模与分析研究 被引量:2
10
作者 蒋昌俊 郑应平 疏松桂 《高技术通讯》 CAS CSCD 1996年第6期21-25,共5页
基于Petri网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型,用于需求规格说明,包括功能图、资源图和约束集。给出概念模型的精练过程,以及由概念模型到Petri网模型的转换算法。
关键词 并发系统 概念模型 petri网模型 计算机
下载PDF
基于Petri网的高铁快运医药冷链作业流程优化及仿真
11
作者 黄宝静 陈诚 +3 位作者 周凌云 张路瑶 朱金 丁凌 《铁道运输与经济》 北大核心 2024年第8期126-135,160,共11页
药品及医疗器械是高铁快运冷链业务的主要品类,目前既有的高铁快运医药冷链作业流程耗时较长、作业效率较低、运作成本较高,制约了铁路开拓医药冷链物流市场。以北京至上海高铁快运医药冷链全过程作业为例,基于Petri网对该作业流程进行... 药品及医疗器械是高铁快运冷链业务的主要品类,目前既有的高铁快运医药冷链作业流程耗时较长、作业效率较低、运作成本较高,制约了铁路开拓医药冷链物流市场。以北京至上海高铁快运医药冷链全过程作业为例,基于Petri网对该作业流程进行建模,通过引入仿真工具对影响高铁快运医药冷链业务作业效率的因素进行诊断;根据诊断结果,提出前置冰板预冷环节、并行化提货作业与装箱准备环节、简化及并行化货物卸车与配送准备环节3大对策,构建优化后的高铁快运医药冷链作业模型,并对优化后的作业流程进行仿真分析。仿真结果表明,优化后的高铁快运医药冷链平均作业时间从1124.06min缩短至903.90min,作业时间减少220.16min。高铁快运医药冷链业务流程的优化研究,有助于铁路降本增效,提高自身竞争力。 展开更多
关键词 高铁快运 医药冷链 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网模型与指标论证分析 被引量:1
13
作者 张宁 林海华 +2 位作者 孙亚平 李宗吉 王世哲 《兵工学报》 EI CAS CSCD 北大核心 2023年第3期886-894,共9页
针对鱼雷装备测试维修使用需求,采用广义随机Petri网模型对鱼雷装备进行测试维修建模,并对测试性指标进行分析。分别建立鱼雷装备系统层和结构层GSPN模型,依据故障模式影响和危害性分析(FMECA)对鱼雷装备故障模式进行分类;对鱼雷结构层G... 针对鱼雷装备测试维修使用需求,采用广义随机Petri网模型对鱼雷装备进行测试维修建模,并对测试性指标进行分析。分别建立鱼雷装备系统层和结构层GSPN模型,依据故障模式影响和危害性分析(FMECA)对鱼雷装备故障模式进行分类;对鱼雷结构层GSPN模型非基本变迁进行拓展,构建鱼雷装备基层级维修子网GSPN模型;采用同构法求解维修子网GSPN模型,利用的稳态可用度解析公式分析测试性参数与使用可用度(A0)之间的影响关系;以某型号鱼雷为例,开展测试性指标求解和模型仿真验证。研究结果表明,模型仿真可用度A_(0)^(′)=0.9998,与系统要求值误差小于1%,验证了所构建模型的可行性和有效性。 展开更多
关键词 鱼雷 测试性 可用度 petri网模型
下载PDF
军用网格体系结构及Petri Net模型 被引量:4
14
作者 曹耀钦 李光明 宋建社 《电光与控制》 北大核心 2007年第2期77-80,共4页
网格体系结构是网格计算的关键技术之一。针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法。与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好... 网格体系结构是网格计算的关键技术之一。针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法。与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好用性、透明性、自治性、模块性、一致性等。 展开更多
关键词 军用网格 网格体系结构 Petfi网模型
下载PDF
基于Petri网基本结构的相似最优校准计算方法 被引量:4
15
作者 田银花 杜玉越 +1 位作者 韩咚 刘伟 《计算机集成制造系统》 EI CSCD 北大核心 2016年第2期433-447,共15页
为了提高事件日志与过程模型之间一致性检查的效率,提出一种基于Petri网基本结构的相似最优校准计算方法。根据网上购物流程建立Petri网模型,计算给定迹与模型之间的所有最优校准。分析发现有些最优校准包含的移动集合完全相同,只是移... 为了提高事件日志与过程模型之间一致性检查的效率,提出一种基于Petri网基本结构的相似最优校准计算方法。根据网上购物流程建立Petri网模型,计算给定迹与模型之间的所有最优校准。分析发现有些最优校准包含的移动集合完全相同,只是移动出现顺序不同,定义为相似最优校准。通过对相似最优校准的性质进行分析得出定理与推论。定义最优校准相似关系和等价关系,给出了最优校准集合的划分方法,该方法可选取代表项,体现迹与过程模型之间的所有偏差。通过分析四种工作流模式提出多阶段校准算法,用于求解Petri网模型与约束迹之间相似最优校准代表项。仿真实验例证了该相似最优校准方法的正确性和有效性。 展开更多
关键词 petri网模型 相似最优校准 工作流 校准算法
下载PDF
基于Petri网模型的柔性加工系统能耗动态优化调度方法 被引量:3
16
作者 陶昊 王艳 纪志成 《信息与控制》 CSCD 北大核心 2022年第5期618-630,共13页
柔性加工系统加工过程中存在突发的动态事件,严重干扰已有调度计划的执行,难以维持较优的能耗指标。针对此问题,在建立柔性加工系统Petri网(flexible machining system Petri net, FMSPN)模型的基础上,考虑新任务插单和机器故障与修复... 柔性加工系统加工过程中存在突发的动态事件,严重干扰已有调度计划的执行,难以维持较优的能耗指标。针对此问题,在建立柔性加工系统Petri网(flexible machining system Petri net, FMSPN)模型的基础上,考虑新任务插单和机器故障与修复两类事件,提出一种面向能耗目标的动态优化调度方法。在动态事件发生时刻,重新建立FMSPN模型,同时融合系统内各设备不同状态下的能量消耗规律,得到扰动发生时刻至加工完成时刻的能耗目标模型。基于动态规划方法对该能耗模型进行重新优化,求解扰动发生时刻后的系统生产调度计划。最后实例仿真验证了FMSPN模型在优化调度流程中的可靠性,以及此方法在动态扰动下的可行性。 展开更多
关键词 petri网模型 能耗优化 动态事件 柔性加工系统
原文传递
基于Petri网的入侵检测技术研究 被引量:2
17
作者 阴四海 马礼 陈哲强 《微电子学与计算机》 CSCD 北大核心 2008年第8期209-211,215,共4页
Petri网是一种非常广泛的建模工具.文中研究了Petri网在入侵检测技术中的应用,分析了基于Petri网的入侵检测系统的主要优势以及随着网络的发展给入侵检测系统带来的问题.基于这些问题,提出了基于Petri网的入侵检测系统的改进方法,设计... Petri网是一种非常广泛的建模工具.文中研究了Petri网在入侵检测技术中的应用,分析了基于Petri网的入侵检测系统的主要优势以及随着网络的发展给入侵检测系统带来的问题.基于这些问题,提出了基于Petri网的入侵检测系统的改进方法,设计了一个入侵检测系统的原型并进行了实例分析. 展开更多
关键词 petri 入侵检测技术 入侵事件 petri网模型
下载PDF
基于Petri网的跨境电子商务通关流程优化研究——以宁波B2B跨境出口为例 被引量:3
18
作者 李秋正 范晓微 《科技与经济》 2017年第4期106-110,共5页
通关业务创新和优化是跨境电子商务发展面临的主要挑战。以宁波B2B跨境出口通关流程为例,运用Petri网建立通关流程模型,通过关联矩阵重组对Petri网结构进行分析和优化,消除了单据传输繁琐、重复审核、重复查验等不合理环节,平衡了同步... 通关业务创新和优化是跨境电子商务发展面临的主要挑战。以宁波B2B跨境出口通关流程为例,运用Petri网建立通关流程模型,通过关联矩阵重组对Petri网结构进行分析和优化,消除了单据传输繁琐、重复审核、重复查验等不合理环节,平衡了同步作业容量,优化结果显著提升了通关效率。研究发现,信息壁垒是导致流程冗余低效的主要原因,加强海关大数据实时抓取和处理能力,提早判断、重点监管,使通关工作实现"前推后移",应是跨境电子商务通关业务优化和创新的必然选择。这些研究工作期望能为因应跨境电子商务快速发展的海关业务创新提供理论参考和方法支持。 展开更多
关键词 跨境电子商务 出口通关 流程优化 petri网模型
下载PDF
煤矿采区供电系统故障诊断技术研究 被引量:3
19
作者 冯强 《机械管理开发》 2020年第4期108-109,114,共3页
以煤矿供电系统故障诊断技术为研究内容,将保护配置和变迁相匹配,改进了Petri网模型,实现了工作面各设备实时、高效、稳定的故障诊断目标,为矿井实现采区供电系统诊断提供了重要参考.
关键词 供电系统 petri网模型 变迁
下载PDF
基于工作流的高校科研项目管理Petri网建模 被引量:3
20
作者 张毅华 《计算机与现代化》 2008年第9期129-131,共3页
科研项目管理是高校科研信息系统的核心部分之一,利用Petri网,对复杂的科研项目管理工作流程建模,解决高校信息化中较为复杂的科研项目管理工作流问题。以高校科研项目申请流程为例,给出了相关定义,分析和解决建模中遇到的几个问题。
关键词 工作流 科研项目管理 petri网模型
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部