可达图

作品数：60被引量：162H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：罗继亮李华周建涛叶新铭戚晓芳更多>>
相关机构：西安电子科技大学山东科技大学内蒙古大学华侨大学更多>>
相关期刊：《计算机仿真》《组合机床与自动化加工技术》《计算机工程与设计》《天津科技大学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划山东省自然科学基金湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于部分可达图的增量式一致性检查
《新乡学院学报》2025年第3期41-46,共6页宋怀宁 卢可 
国家自然科学基金项目(61402011);安徽省重点研究与开发计划项目(2022a05020005);安徽省自然科学基金项目(2308085US11)。
一致性检查技术是业务流程管理(BPM)的主要研究内容之一,用以检测在过程执行中是否出现了偏差。现有的大多数方法是离线一致性检查,无法及时检测出偏差并做出应对。针对此问题,提出一种基于部分可达图的增量式一致性检查方法。该方法利...
关键词：PETRI网 一致性检测 部分可达图 增量式检查 
基于优先级时间Petri网的实时嵌入式多核系统分析
《软件学报》2024年第9期4123-4140,共18页张凯文 刘关俊 孙彦韬 李晓锋 关健 解毅 顾斌 
国家自然科学基金(62172299,62192730,62032019);北京控制工程研究所高可信嵌入式软件工程技术实验室开放基金(LHCESET202201);北京控制工程研究所空间光电测量与感知实验室开放基金(LabSOMP-2023-03);CCF-华为胡杨林基金-形式化专项(CCF-HuaweiFM202305)。
已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应...
关键词：实时嵌入式多核系统 优先级时间Petri网 可达图 任务依赖图 最坏执行时间(WCET) 死锁 
基于随机颜色Petri网的食物网能量流动建模与分析
《计算机应用与软件》2024年第2期25-32,共8页管梦真 刘伟 李清 
山东省自然科学基金面上项目(ZR2020MF033);国家自然科学基金项目(61472228)。
为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Pe...
关键词：随机颜色Petri网 随机函数 能量流动 约束函数 可达图 
一种基于带标签时间约束Petri网扩展可达图的数据流通合规性检测
《计算机科学》2023年第S02期632-643,共12页刘振宇 董慧 李华 王璐 
国家自然科学基金(61862047,62066034);内蒙古科技计划(201802028,2020GG0186)。
随着社会制度的不断完善和法律法规的不断健全,企业的经营管理流程面临越来越多的合规性检测要求。利用带标签的时间约束Petri网(LTCPN)模型描述数据流通过程中所遵循的法律法规及行业规则。为了支持更多维度的规则表达,首先需要基于LT...
关键词：PETRI网 时间标签 可达图 图同构 合规性检测 
基于标识压缩的Petri网可达状态研究
《建模与仿真》2023年第5期4515-4524,共10页赵杰民 
Petri网可以准确地反映在事件(变迁)发生时,系统产生的相应变化。而可达图正是对一个系统所有动态信息的表现。因此,针对复杂Petri网系统初始标识变化导致可达标识剧增这一场景,恰当地保存可达标识就成为了一大挑战。本文针对可达标识...
关键词：PETRI网 可达图 状态空间 压缩算法 CUDA 
基于逻辑博弈概率Petri网的地铁应急决策建模与分析被引量：2
《系统仿真学报》2023年第7期1602-1618,共17页闫哲 刘伟 杜玉越 
2022年度青岛市社会科学规划研究(QDSKL2201131)。
为解决逻辑Petri网不能很好地描述动态博弈过程的问题,提出逻辑博弈概率Petri网。将博弈的四要素融合到逻辑Petri网中,博弈的局中人被定义为token的一个属性,为其定义了策略集以及效用函数,并引入了信息库所。引入概率变迁和向量来表示...
关键词：逻辑博弈概率Petri网 地铁应急决策 模糊贝叶斯公式 可达图 
基于逻辑博弈决策Petri网的应急决策建模与分析被引量：1
《计算机科学》2022年第4期294-301,共8页李清 刘伟 管梦真 杜玉越 孙红伟 
山东省自然科学基金面上项目(ZR2020MF033);国家自然科学基金(61472228)。
发挥逻辑Petri网对批处理和传值不确定性的建模优势,融合多主体博弈过程的相关博弈要素,为多主体决策问题建模,解决多主体动态博弈决策优化问题,文中提出了逻辑博弈决策Petri网。首先,定义每个token的属性为理性人并为其定义效用函数值...
关键词：逻辑博弈决策Petri网 动态博弈 可达图 决策变迁 
基于模型的故障树自动生成方法被引量：6
《计算机科学》2021年第12期159-169,共11页展万里 胡军 谷青范 荣灏 祁健 董彦宏 
国家重点基础研究发展计划(973计划)(2014CB744900)。
基于模型的安全性分析方法能够提高复杂安全关键系统的建模与分析能力。目前故障树被广泛应用于系统安全及可靠性分析中。故障树分析(Fault Tree Analysis,FTA)是一种自上而下的演绎式失效方法,根据故障树分析系统中不希望出现的状态,...
关键词：故障树分析 AltaRica 平展化GTS 划分算法 可达图 断言传播算法 
基于逻辑时延Petri网的停车预订系统建模与分析被引量：7
《计算机应用研究》2021年第8期2412-2417,共6页管梦真 刘伟 杜玉越 
山东省自然科学基金面上项目(ZR2020MF033)。
为解决逻辑Petri网不能详尽地描述模型在规定时间点变迁引发和引发完成的时间问题,提出逻辑时延Petri网。首先在普通变迁的基础上引入变迁的引发时间和变迁完成时间形成决策变迁,为每个token定义到达时间和自身时间属性等;其次重新定义...
关键词：逻辑时延Petri网 决策变迁 可达图 重分配 
基于Petri网可达图的业务对齐方法被引量：7
《计算机集成制造系统》2020年第6期1589-1606,共18页韩咚 田银花 杜玉越 张琴 
山东省重点研发计划资助项目(2018GGX101011);泰山学者建设工程专项经费资助项目;泰安市科技发展计划(引导计划)项目(2019GX033)。
为提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网可达图的业务对齐方法。首先,根据给定事件日志,提取其包含的活动子集;然后,将子集中包含的活动映射到变迁,构建花型日志模型;进一步,计算花型日志模型与过程模型之间的乘积模...
关键词：PETRI网 事件日志 过程模型 业务对齐 可达图 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部