搜索到69篇“ 可达标识图“的相关文章
- 基于带标记的并发可达标识图的关键路径的求解方法被引量：4
- 2016年
- 将AOE网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发可达标识图中的标记序列直接得到关键路径并计算出完成所有活动所需的最短时间。实例与仿真实验结果表明,当AOE网中平均存在3个以上的并发活动时,所提方法执行效率优于传统的求解关键路径的算法,并发活动越多,所提算法效率越高。
- 韩耀军
- 关键词：AOE网
- 随机Petri网在煤矿水害处理流程中的应用研究
- 2023年
- 水害作为煤矿开采中的主要灾害之一,直接影响井下生产安全。为保障工作人员的生命安全,确保矿井生产的稳定性,提出了用随机Petri网对煤矿水害处理流程进行建模的方法,根据模型的可达标识图同构的马尔科夫链来对库所繁忙率和变迁利用率2个性能指标进行计算分析,为日后对疑似水害的处理流程进行优化提供了新思路。
- 孙霞缪玉婷张洁
- 关键词：水害随机PETRI网可达标识图马尔科夫链
- 基于面向对象模糊Petri网的信息物理系统能耗模型被引量：2
- 2021年
- 信息物理系统是一种融合了计算、通信和控制的高级嵌入式系统,其能耗分析方法是目前的热点研究问题。文中针对CPS的模块化架构与其组件能耗的不确定性,提出面向对象模糊Petri网作为一种新的CPS能耗模型。在该模型中,CPS的模块化逻辑结构与功能流程由面向对象技术描述,而其不确定性则通过使用模糊数学理论对模型中的变迁能耗属性进行模糊化的方法来处理。在此基础上,提出了基于OFPN可达标识图的CPS组件能耗分析算法。该算法分析并统计能耗的模糊值后进行解模糊,并输出各组件的最低能耗与最高能耗的精确数值结果。最后通过一个智能厚板生产线的实际CPS案例的建模与能耗分析,进一步说明了该方法的可行性。
- 余嘉伟胡海洋
- 关键词：信息物理系统不确定性面向对象PETRI网可达标识图
- 基于Petri网的拼团流程模型优化及验证分析被引量：1
- 2019年
- 目前,越来越多的人倾向于拼团购物,从而获得以优惠价格购买商品的资格。在拼团流程中,为了实现顾客与商家互利共赢,并尽可能的满足顾客需求,为顾客提供更多的选择性,本文针对拼团流程模型进行优化分析。首先给出了基本的拼团流程模型。其次,构建了使用新功能卡的流程模型,然后通过分析流程模型中活动间间接的交互关系,将两个流程模型合并,同时增加相关的控制结构对其进行优化。最后基于Petri网化简的方法利用可达标识图验证了流程模型优化的合理有效性。
- 杨慧慧
- 关键词：PETRI网模型化简可达标识图
- 理发师问题的Petri网模型
- 2015年
- 讨论在操作系统中研究的关于进程间通信(IPC)的一个著名的问题:睡眠的理发师问题。给出这个问题的Petri网模型和这个Petri网的可达标识图性质。
- 刘萍
- 关键词：PETRI网可达标识图
- 基于Petri网的电梯群控系统设计
- 2015年
- 众多的电梯群控系统设计解决方案仅仅基于某一具体功能模块,少有整体系统设计.为此,本文使用Petri网建模工具给出了电梯群控系统的有效模型.该模型除了整体设计外,包括程序设计流程概要建模和局部功能细化,以及电梯低高速的切换和根据交通模式切换不同停留模式的实现细节.最后用S-不变技术、可达标识图等对模型进行了验证.
- 杨博钦宋文周鑫
- 关键词：PETRI网电梯群控形式化验证可达标识图程序实现
- 具有死锁和陷阱结构的模糊Petri网性态分析
- 2011年
- Petri网是一种具有动态特性的建模工具,模糊Petri网是Petri网的一个重要分支,可以有效处理具有不精确的、不确定的复杂因素的系统模型问题。本文在模糊动态Petri网的定义和运行规则基础上,研究了具有死锁和陷阱结构的模糊Petri网系统,通过配置不同的初始标识,分析其动态运行特性,并给出算例分析。
- 吕莉芳李承家薛瑜
- 关键词：模糊PETRI网死锁可达标识图
- 随机Petri网可视化软件的设计与实现被引量：4
- 2011年
- 针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便地进行随机Petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机Petri网特性和系统性能指标。通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性。
- 王佳慧王书锋
- 关键词：随机PETRI网面向对象可达标识图
- 多处理器调度算法实现及其Petri网建模与仿真被引量：2
- 2011年
- 多处理器调度算法在嵌入式实时系统领域中起着关键的作用。根据多处理器的特点,提出一种实时多处理器动态分割并行调度算法SPara。该算法解决了此前多处理器算法,如Myopic、EDPF等仅依据截止期对任务调度产生的问题,实现了增加任务紧迫度限制的调度策略,以及针对执行时间长、截止期紧迫任务的有效调度方法。同时算法结合高级颜色时间Petri网理论进行建模并仿真。测试结果表明,SPara算法在处理器利用率以及调度成功率方面较Myopic等算法有较大提高。
- 王异奇刘青昆张健
- 关键词：并行调度PETRI网仿真可达标识图
- 基于面向对象的随机Petri网图形建模与分析工具的开发
- 为了使制造系统更加自动化和生产灵活化，伴随着计算机和自动化技术的发展，产生了一类新的生产系统：柔性制造系统(FMS)。柔性制造系统是一类极其复杂的离散事件动态系统，各种形式的Petri网已成为FMS系统中建模与分析的主流...
- 王佳慧
- 关键词：随机PETRI网面向对象可达标识图VISUALC++
相关作者
- 韩耀军
- 作品数：37被引量：109H指数：7
- 供职机构：上海外国语大学国际工商管理学院
- 研究主题：PETRI网 网格计算 并发控制 共享合成 可达标识图
- 赵义军
- 作品数：37被引量：91H指数：5
- 供职机构：山东科技大学
- 研究主题：PETRI网 连续PETRI网 动态性质 变图 增广PETRI网模型
- 左凤朝
- 作品数：23被引量：112H指数：6
- 供职机构：聊城大学计算机学院
- 研究主题：PETRI网 数据库 基于WEB M-PETRI网 体系结构
- 姚淑珍
- 作品数：99被引量：305H指数：9
- 供职机构：北京航空航天大学计算机学院
- 研究主题：PETRI网 软件工程 工作流模型 软件开发 ADA
- 吴哲辉
- 作品数：159被引量：434H指数：14
- 供职机构：山东科技大学信息科学与工程学院
- 研究主题：PETRI网 公平 PETRI网方法 不变量 PETRI网模型
