云南高校图书馆联盟文献共享服务平台- PETRINET

PETRINET: 作品数：29被引量：57H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：王永华高宏伟葛立志黄贤凤王建华更多>>; 相关机构：同济大学国防科学技术大学清华大学郑州轻工业学院更多>>; 相关期刊：《微电子学与计算机》《硅谷》《智能制造》《Journal of Software Engineering and Applications》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划中国博士后科学基金国家科技攻关计划更多>>

基于PetriNet的工业互联网安全模型构建方法研究: 《智能制造》2023年第2期71-74,共4页张格龚亮华孙军李杨訾立强; 工业互联网正在成为智能电网、发电厂、医疗器械、工业机器人等智能制造基础设施和系统的支柱。网络组件与物理系统的交织提高资源利用率和系统可靠性。但是,它通过增加攻击面使工业互联网非常容易受到多种网络威胁的攻击。在关系国计...; 关键词：工业互联网安全建模 PetriNet网格模型关键基础设施

Robust Deadlock Avoidance Policy for Automated Manufacturing System With Multiple Unreliable Resources被引量：7: 《IEEE/CAA Journal of Automatica Sinica》2020年第3期812-821,共10页Jianchao Luo Zhiqiang Liu Shuogang Wang Keyi Xing; supported in part by the Fundamental Research Funds for the Central Universities(3102017OQD110);the Natural Science Basic Research Plan in Shaanxi Province of China(2019JQ-435);the Project Funded by China Postdoctoral Science Foundation(2019M663818);the National Key Research and Development Program of China(2019YFB1703800);Guangdong Basic and Applied Basic Research Foundation(2019A1515111076);the National Natural Science Foundation of China(71931007)。; This work studies the robust deadlock control of automated manufacturing systems with multiple unreliable resources. Our goal is to ensure the continuous production of the jobs that only require reliable resources. To...; 关键词：Automated manufacturing system(AMS) DEADLOCK avoidamce policy(DAP) modified Banker's algorithm(MBA) PETRINET

高速飞行器Petri net异常事件诊断系统设计被引量：2: 《西北工业大学学报》2017年第4期553-560,共8页呼卫军王欢周军; 国家自然科学基金(61473226)资助; 高速飞行器在遇到外部大气扰动和伺服故障事件导致状态失稳时,对于不同的故障事件采用不同的控制策略。为了使飞行器能够自主的辨别导致状态异常的事件类型,并针对性调用相应的处理策略,提出了一种基于决策网络进行飞行器异常事件诊断...; 关键词：PETRINET 大气扰动伺服故障矩阵推理在线定位

具有2-空间缓冲模块的多组合设备的优化调度被引量：3: 《系统工程理论与实践》2016年第9期2408-2415,共8页李文涛白丽平伍乃骐阳罚军; 国家自然科学基金(60974098);高等学校博士点学科专项科研基金(2009442011002)~~; 随着半导体晶圆生产加工变得越来越复杂,多组合设备也越来越频繁的被采用.多组合设备的调度关键在于怎么协调好相邻机械手的操作.针对拥有2-空间缓冲模块的单臂多组合设备,同时它的瓶颈设备被假设为处于加工-边界,首先运用面向资源的Pet...; 关键词：多组合设备调度面向资源 PETRINET

飞机系统安全性指标的PetriNet分配方法被引量：1: 《国防科技大学学报》2015年第6期135-140,共6页王强王筱涵刘刚耿慧欣; 国家自然科学基金资助项目(71171199); 为解决动态故障树抽象而不利于交流的问题,利用Petri Net直观、易用且适用范围广的优点,提出基于Petri Net的飞机系统安全性指标分配方法。通过整理安全性指标及其相关的可靠性指标,选取失效率作为安全性指标,对比动态故障树及Petri Ne...; 关键词：安全性指标分配 PETRI Net故障模型 PETRI Net方法故障严酷等级

基于ORACLE数据库的工作流设计: 《电信技术研究》2015年第2期57-62,共6页蒋小成杨镇华熊钟权; 概述工作流技术，介绍基于数据库的工作流参考模型及基于PetriNet的工作流建模，分析目前工作流技术存在的不足，提出了基于数据库的工作流设计架构，实现了工作流数据库设计、工作流引擎设计及人机交互设计。; 关键词：ORACLE数据库工作流技术数据库设计 PETRINET 工作流参考模型人机交互设计工作流建模引擎设计

工作流与Petrinet的关系: 《硅谷》2012年第17期179-180,共2页杨冬芹; 从工作流的工程学发展与Petrinet数学属性的关系入手,重点分析当前工作流产品数学属性的缺位,并从一定角度探讨Petrinet理念与工作流系统的融入。; 关键词：工作流 PETRI NET 概念

一种基于协同模式的飞机设计流程建模方法: 《机械科学与技术》2012年第2期323-329,共7页周安宁刘毅; 国家“863”高技术研究发展计划项目(2009AAXXX103)资助; 针对飞机设计流程建模中遇到的建模过程复杂,主观性强等情况,提出了基于协同模式的建模方法。从某飞机设计实践出发,结合以往设计经验,调查设计组织、设计流程、设计工具等方面,归纳现有协同模式。结合各个模式的应用场合,分析其特点和...; 关键词：飞机设计协同模式设计流程流程建模 PETRINET

基于自组织Petri Net的间歇过程换热网络优化设计被引量：4: 《化工学报》2010年第12期3167-3171,共5页贾洋肖武董宏光; 国家自然科学基金项目(20876020) ;中央高校基本科研业务费专项资金项目(1000-893368)~~; 根据热级联分析法的基本思想,在优化设计连续过程换热网络的自组织PetriNet模型中,引入时间库所表示间歇过程时间,使其适合于优化设计间歇过程换热网络,拓展了PetriNet对时间的表示形式,有利于对系统可达性进行研究。另外,根据垂直匹配...; 关键词：PETRINET 间歇过程换热网络优化设计夹点技术

并行自动测试系统分层建模及性能评估方法研究被引量：1: 《系统仿真学报》2010年第12期2779-2783,2787,共6页马敏夏侯士戟黄建国; 国家自然科学基金(60673011;60674077);总装备部预研基金(9140A16020207DZ0240);校青年基金(JX0635); 对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应...; 关键词：并行自动测试系统 PETRINET UML 分层化建模

PETRINET