存在消耗型资源的一类Petri网模型运行控制研究

发布时间：2021-04-13 06:47

　　Petri网是一种适合于描述异步并发的形式化系统模型。Petri网不仅有严格的数学表达形式与直观的图形表现形式,还具备对异步与并发系统进行系统描述与行为分析的功能,为计算机科学、控制科学等提供了一种形式化的分析思路和框架基础。在Petri网中,托肯（token）的使用必不可少。在对生产制造过程建立Petri网模型时,通常用部分托肯描述可使用的资源,在资源分配系统（Resource Allocation Systems,RAS）中,资源是其重要的组成部分。一般情况下,资源可分为耐用型资源和消耗型资源。耐用型资源一般指机器设备等,消耗型资源一般指原料、耗材等。系统中资源的数量变化会影响系统及其Petri网模型的行为,导致死锁等问题。以往相关研究中,绝大部分研究围绕耐用型资源系统展开,对于消耗型资源的关注较少。实际上,耐用型资源和消耗型资源只是在一定时间尺度内的相对概念,任何资源都是消耗型资源。具有消耗型资源的系统模型更能反映出系统实际运行情况。因此,对存在消耗型资源的一类Petri网的研究,表现的尤为重要。在前人研究工作的基础上,本文提出了一类关注消耗型资源并对系统运行行为产生影响的Pet... 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：102 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
符号对照表
缩略语对照表
第一章 绪论
    1.1 研究背景及意义
    1.2 国内外发展现状
        1.2.1 Petri网发展简介
        1.2.2 Petri网在各领域的应用
        1.2.3 死锁问题的处理方法
    1.3 论文的主要内容及章节安排
第二章 Petri网基本理论及子类
    2.1 Petri网的基本概念
        2.1.1 Petri网的基本定义
        2.1.2 Petri网的基本性质
        2.1.3 Petri网的分析方法
    2.2 信标与陷阱
3PR、WS³PR与LS³PR">    2.3 S³PR、WS³PR与LS³PR
    2.4 本章小结
第三章 存在消耗型资源的一类Petri网
    3.1 RCPN的基本理论
        3.1.1 RCPN的基本定义
        3.1.2 一个RCPN的建模实例
    3.2 资源消耗的方式和死锁的分类
        3.2.1 资源消耗的方式
        3.2.2 死锁的分类
i的判断">        3.2.3 资源耗尽标识D_i的判断
    3.3 工具软件CPN Tools简介
        3.3.1 CPN Tools主要工具板介绍
        3.3.2 CPN Tools建模及分析过程
    3.4 基于CPN Tools的RCPN建模
    3.5 本章小结
第四章 基于LRS活性比例控制器的BC运行控制器
    4.1 资源回路与竞争路径的选取
        4.1.1 资源库所权限图与资源回路
        4.1.2 资源路径与竞争路径
    4.2 基于LRS控制器的BC控制器设计
        4.2.1 LRS控制器设计
        4.2.2 资源利用率与设计原理
        4.2.3 BC控制器设计
    4.3 RCPN的BC控制器设计
    4.4 BC运行控制器的简化与非简化对比
    4.5 基于抑制弧与全局控制器的控制策略
        4.5.1 区间抑制弧
        4.5.2 数据抑制弧
        4.5.3 全局控制器控制策略
    4.6 本章小结
第五章 基于回溯变迁的控制器设计
    5.1 基于回溯变迁的控制器设计
        5.1.1 Petri网中的软件控制器和硬件控制器
        5.1.2 Petri网中的变迁分类
3PR网与WS3PR网的回溯变迁控制器的设计">    5.2 S³PR网与WS3PR网的回溯变迁控制器的设计
3PR网回溯变迁控制器的设计">        5.2.1 S³PR网回溯变迁控制器的设计
3PR网回溯变迁控制器的设计">        5.2.2 WS³PR网回溯变迁控制器的设计
    5.3 RCPN的回溯变迁控制器的设计
    5.4 BC运行控制器与基于变迁的回溯控制器的结合
    5.5 本章小结
第六章 总结与展望
    6.1 总结
    6.2 展望
参考文献
致谢
作者简介



本文编号：3134827