PETRI网系统

作品数：35被引量：76H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陆维明蒲飞岳昊陈增强张青更多>>
相关机构：中国科学院数学与系统科学研究院漳州师范学院中国民航大学南开大学更多>>
相关期刊：《中国学术期刊文摘》《控制理论与应用》《系统工程理论与实践》《海军工程大学学报》更多>>
相关基金：国家自然科学基金福建省教育厅资助项目国家重点基础研究发展计划天津市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
无冲突Petri网系统活标识判定的结构化方法被引量：1
《计算机应用研究》2023年第5期1447-1451,1458,共6页徐颖蕾 
山东省自然科学基金资助项目(ZR2020MF137)。
为了有效求解无冲突Petri网系统活标识的判定及配置优化问题,提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支;然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合;...
关键词：PETRI网 无冲突 活标识 强连通分支 
Petri网系统活性保持的充分与必要条件
《广东技术师范大学学报》2022年第3期37-43,52,共8页蔡晓霞 郭承军 陈鹤峰 
广东省自然科学基金项目(2018A030313871).
研究了Petri网活性保持的充分条件与必要条件.借助于Siphon非前阻塞的概念得到了Petri网活性的必要条件.以一类简单网为例,利用线性规划方法判定Siphon是非前阻塞的,降低了计算复杂性.在讨论Petri网活性的充分条件时,对弱活性的网增加...
关键词：PETRI网 活性 非前阻塞 
基于矩阵方法的有界Petri网系统的能观性分析被引量：2
《控制理论与应用》2018年第1期71-78,共8页高娜 韩晓光 陈增强 张青 
国家自然科学基金项目(61573199;61573200);天津市自然科学基金项目(14JCYBJC18700)资助~~
Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方...
关键词：离散事件动态系统 能观性 有界Petri网系统 PETRI网 矩阵的半张量积 
一类Petri网系统建模与可达性分析的STP方法被引量：1
《北京邮电大学学报》2016年第6期72-76,共5页韩晓光 陈增强 张奎泽 刘忠信 张青 
国家自然科学基金项目(61573199;61573200);天津自然科学基金资助项目(14JCYBJC18700;13JCYBJC17400)
基于矩阵半张量积(STP)方法研究了一类Petri网系统(PNSs)的建模和可达性问题.首先,利用STP将这类PNSs的动态演化表示为离散时间双线性方程;然后,给出了这类PNSs的变迁-状态邻接矩阵的定义,利用所建立的双线性方程和变迁-状态邻接矩阵给...
关键词：PETRI网系统 可达性 矩阵的半张量积 变迁-状态转移矩阵 变迁-状态邻接矩阵 
部分可观Petri网系统的在线故障诊断方法
《城市轨道交通研究》2016年第12期6-12,共7页彭晓红 刘文良 于杰 孙燕 刘文渊 刘海阳 鲍建成 刘久富 
针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法。算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行...
关键词：地铁 PETRI网 故障诊断 不可观变迁 整数线性规划 
有界Petri网系统稳定性与镇定性分析的矩阵半张量积方法被引量：2
《中国科学：信息科学》2016年第11期1542-1554,共13页韩晓光 陈增强 刘忠信 张青 
国家自然科学基金(批准号:61573199;61573200);天津市自然科学基金(批准号:14JCYBJC18700;13JCYBJC17400)资助项目
基于矩阵半张量积(semi-tensor product,STP)方法,本文研究了有界Petri网系统稳定性和镇定性问题.首先,在布尔代数框架下,对先前所建立的有界Petri网系统的标识演化方程进行了改进.利用改进后的这个方程,给出了有界Petri网系统平衡点稳...
关键词：PETRI网 离散事件动态系统 矩阵的半张量积 平衡点 稳定性 镇定性 
基于多核机群的Petri网系统并行化模型的研究
《现代计算机（中旬刊）》2016年第4期12-17,23,共7页王玄 李文敬 
国家自然科学基金(No.61163012);广西科技开发项目(桂科攻1598010-3)
为了求解复杂Petri网系统的并行算法,解决Petri网系统的模拟运行和验证,提出一种基于多核机群的Petri网并行模型。首先,依据时延Petri网模型的特点,提出并行划分的方法,对划分的子网进行并行性分析;其次,根据多核机群结构和MPI+OpenMP...
关键词：时延PETRI网 多核机群 并行性 并行模型 
改进的部分可观Petri网系统在线故障诊断器设计被引量：6
《控制理论与应用》2015年第7期866-872,共7页刘久富 刘文良 周建勇 刘海阳 王志胜 刘春生 
国家自然科学基金项目(61473144)资助~~
本文研究部分可观Petri网建模的离散事件系统的故障检测问题.针对现有的部分可观Petri网系统的在线故障诊断器存在故障诊断率较低的缺陷,本文提出了整数线性规划与广义互斥约束集成的部分可观Petri网系统在线故障诊断改进算法.假定部分...
关键词：故障诊断 部分可观Petri网 整数线性规划 广义互斥约束 
Petri网节点重要性评价被引量：3
《中国安全科学学报》2015年第4期116-122,共7页冯丽萍 文超 彭其渊 
国家自然科学基金资助(U1234206);高等学校博士学科点专项科研基金资助(20130184120021);西南交通大学研究生创新实验实践项目(YC201407220)
为提高网系统的日常安全管理水平,实现系统重要节点的重点监管,以基本Petri网系统为对象,提出考虑相继故障的节点重要性评价方法。先将变迁间的关联结构关系划分为串联顺序、选择关联和非关联3种,并给出相应的形式化判别方法和变迁节点...
关键词：系统工程 评价方法 相继故障 PETRI网系统 关联结构类型 
Petri网系统建模与仿真实验课程教学探讨被引量：2
《实验技术与管理》2014年第12期155-158,共4页刘飞 
国家自然科学基金项目(61273226);哈尔滨工业大学研究生教育教学改革研究项目(JGYJ-201416)
目前高校开设的Petri网相关课程通常只关注Petri网基本概念和理论的讲解。哈尔滨工业大学开设的研究生课程"Petri网系统建模与仿真"则将课堂教学与实验教学密切结合、将理论学习与工程项目密切结合,从内容和方法两方面对该课程的实验教...
关键词：系统建模与仿真 PETRI网 实验教学方法 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部