扩展PETRI网

作品数：36被引量：67H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘胜辉王国栋陆正福殷永峰刘清秀更多>>
相关机构：同济大学山东大学云南大学哈尔滨理工大学更多>>
相关期刊：《计算机工程与应用》《控制与决策》《电子学报》《现代电子技术》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划山东省自然科学基金云南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
MDA框架中CIM业务流模型与PIM工作流模型的一致性验证
《计算机应用与软件》2023年第2期7-11,59,共6页李宗花 常逢佳 
国家自然科学基金项目(61902141);教育部人文社会科学研究青年基金项目(19YJCZH095);江苏省高校自然科学研究面上项目(18KJB520006)。
对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化...
关键词：CIM业务流模型 PIM工作流模型 扩展PETRI网 一致性验证 
基于扩展Petri网的汽车CPS建模
《现代计算机》2022年第11期106-111,共6页陈浩铎 张立臣 
国家自然科学基金(61873068)。
信息物理融合系统是将物理世界与信息系统混合的混合系统,包括了设备感知、网络通信、计算与控制设备等多种组件,其系统操作既包括离散又包含连续的过程。针对上述CPS诸多复杂的特性,将以一种以数据驱动事件的扩展Petri网模型对CPS进行...
关键词：信息物理融合系统 扩展PETRI网 条件变迁 
肉牛养殖管理平台的设计与实现被引量：2
《榆林学院学报》2018年第2期82-85,共4页吴敏宁 
陕西省教育厅2017年专项科学研究计划项目(17JK0896);榆林市产学研合作项目(2016cxy-12);陕西省科技厅项目(基于物联网的农产品质量安全智能预警模型研究与应用)
牛肉供应链具有链条长,环节多,动态化,风险因素多的特点,养殖是肉牛生产过程中重要的一个环节。在肉牛养殖环节中,工作流管理将肉牛养殖过程中产生的所有指标数据与过程数据通过不同的组织结构存储于特定的数据仓库中,可实现牛肉质量的...
关键词：牛肉供应链 工作流 扩展PETRI网 肉牛养殖 
基于扩展Petri网的石化企业应急预案建模方法被引量：2
《化工自动化及仪表》2017年第6期575-580,共6页查俊 亢海洲 袁文彬 吕运容 朱建新 
国家"863"计划项目(2014AA041806)
构建基于指令触发的扩展Petri网石化企业应急预案模型,提出了各组织部门之间传递消息的形式化描述方法和基于指令触发的应急任务执行状态(未执行/执行中/已完成)变迁算法,并对它规定的应急处置流程和消息传递给出了详细的定义和描述。
关键词：数字化应急预案建模 石化企业 扩展PETRI网 指令触发 任务关联 
基于扩展Petri网的飞机装配系统设备调度方法被引量：1
《航空制造技术》2017年第10期104-108,共5页柴猛 严金凤 
国防基础科研项目(A2620132010)
针对飞机装配过程中设备调度的复杂性,提出了基于扩展Petri网构建设备调度模型的新方法。结合飞机装配的实际特点,论述了模型定义过程和建立方法。该模型以面向对象Petri网表达飞机装配过程,以赋时Petri网将装配过程与辅助设备相关联,...
关键词：飞机装配 设备调度 扩展PETRI网 混合算法 
基于体系结构物理交换规范的作战活动可执行模型构建方法
《装备学院学报》2016年第6期127-132,共6页罗爱民 傅炯 
国家自然科学基金资助项目(71571189)
作战活动是体系结构的核心数据,保证作战活动的正确性是提高体系结构质量的关键。基于DoDAF2.0提出的体系结构数据物理交换规范,定义了作战活动模型和作战规则模型的数据模型;对基本Petri网交换规范进行扩展,形成扩展Petri网的数据交换...
关键词：体系结构 可执行模型 物理交换规范 扩展Petri网标记语言 
基于扩展Petri网的新疆肉牛养殖溯源模型设计被引量：2
《江苏农业科学》2016年第3期413-416,共4页王森 李志刚 
国家自然科学基金(编号:71261021)
在"一带一路"时代背景下,新疆的畜牧业发展迎来春天,且伴随着人们生活水平的不断提高,对食品质量安全更为关注。针对新疆的肉牛养殖环节,构建、验证基于扩展Petri网的肉牛养殖工作流模型,并结合射频识别(radio frequency identification...
关键词：肉牛养殖 溯源模型 扩展PETRI网 RFID技术 
一种新型扩展Petri网理论方法研究
《现代计算机》2015年第7期13-16,共4页宋亚勤 汪静 
Petri网是一种形式化的建模方法 ,它非常适合描述系统中进程或部件的顺序、并发、冲突以及同步等关系。总结各类Petri网在系统建模中的不足和优势,在原有Petri网的基础上提出一种增广Petri网,即带抑止弧和使能弧的着色Petri网,这种新型...
关键词：原型Petri网 扩展PETRI网 抑制弧 使能弧 
基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估被引量：4
《兵工学报》2015年第2期363-373,共11页许玉堂 殷永峰 孙静 张弛 刘斌 
航空科学基金项目(20140751008);中央高校基本科研业务费专项资金项目(YWF-11-03-Q-114)
软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的...
关键词：计算机软件 软件体系结构 可靠性评估 时间扩展Petri网 
一种支持组合事务的执行语义分析方法被引量：2
《电子学报》2012年第7期1386-1396,共11页梅晓勇 李师贤 黄昌勤 郑小林 
国家科技攻关计划(No.2008BAH24B03);国家自然科学基金(No.60673122;No.60940033);中国博士后科学基金(No.20080440121);广东省自然科学基金(No.06017089;No.10JJ6100);广东省科技计划基金(No.2010GK3020)
为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终...
关键词：组合事务 失败恢复机制 执行语义分析 扩展PETRI网 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部