一类Petri网中基本信标的快速求解算法

一类Petri网中基本信标的快速求解算法

论文摘要

柔性制造系统作为一种典型的离散事件系统是Petri网的一个重要应用领域。在柔性制造系统中,由于资源的竞争出现死锁现象。死锁预防是基于信标的一种死锁控制方法。系统中被清空的信标导致死锁发生。理论证明,只要控制住一个系统的基本信标,则整个系统不会发生死锁。基本信标是一类特殊的严格极小信标,它的个数比严格极小信标的个数少得多,并且不会超过网系统的规模。现有的方法中,基本信标是以已知所有的严格极小信标为前提的。但是,一个Petri网中的信标的个数是随着网的规模呈指数增长的。针对一个Petri网子类-S3PR网,本文提出了一种从部分严格极小信标中求取基本信标的算法。根据S3PR网的结构特点,一个S3PR网中的资源回路对应一个信标,在资源回路中不含分支弧的情况下,对应一个严格极小信标。我们将S3PR网抽象到一个有向资源图中。本工作中提出了补集矩阵的概念,并且理论证明,基本信标是补集矩阵对应的信标空间的一个基。从一个资源回路中,也可以求出对应的严格极小信标的补集。因此,根据图论知识,我们将求解严格极小信标转化成求解有向资源图中的满足一定条件的资源回路。经过大量的例子验证,本文的算法适用于大规模的S3PR网,用时短,效率高。

论文目录

  • 摘 要
  • Abstract
  • 第一章 绪论
  • 1.1 研究背景与意义
  • 1.2 信标的求取方法
  • 1.3 本文完成的工作
  • 第二章 基于Petri 网的系统建模与分析
  • 2.1 基于Petri 网的系统建模
  • 2.2 基于Petri 网的系统分析
  • 2.3 本章总结
  • 第三章 Petri 网的基本概念和术语
  • 3.1 Petri 网的基本理论
  • 3.2 Petri 网的实例分析
  • 3.3 本章总结
  • 3PR 网和基本信标理论'>第四章 S3PR 网和基本信标理论
  • 3PR 网及其子类L-S3PR 网'>4.1 S3PR 网及其子类L-S3PR 网
  • 4.2 基本信标理论
  • 4.3 补集与基本信标
  • 4.4 举例
  • 4.5 本章总结
  • 3PR 网中的资源回路'>第五章 S3PR 网中的资源回路
  • 5.1 资源回路
  • 5.2 有向资源图及其连通性
  • 5.3 资源回路与信标
  • 5.4 资源回路与补集
  • 5.5 本章总结
  • 3PR 网中基本信标的快速求取算法'>第六章 S3PR 网中基本信标的快速求取算法
  • 6.1 独立弧段和友元
  • 3PR 网中基本信标的快速求取算法'>6.2 L-S3PR 网中基本信标的快速求取算法
  • 3PR 网中基本信标的快速求取算法'>6.3 S3PR 网中基本信标的快速求取算法
  • 6.4 本章总结
  • 第七章 算法应用举例
  • 7.1 一个FMS 单元实例
  • 7.2 一个大规模的Petri 网
  • 7.3 本章总结
  • 结束语
  • 致 谢
  • 参考文献
  • 在读期间的研究成果
  • 相关论文文献

    • [1].卫星信标的用途及应用[J]. 数字传媒研究 2020(01)
    • [2].基于蓝牙信标的室内定位[J]. 电脑知识与技术 2020(02)
    • [3].磁信标的三维磁场计算及优化设计[J]. 传感技术学报 2020(02)
    • [4].空间磁信标定位系统的信源结构设计[J]. 仪器仪表学报 2020(04)
    • [5].高精度磁信标中心位置与姿态角标定方法[J]. 中国惯性技术学报 2020(03)
    • [6].舰载激光通信信标光光斑自动检测技术研究[J]. 光学与光电技术 2017(05)
    • [7].大山地震台三频信标星地无线对接试验[J]. 地壳构造与地壳应力文集 2016(02)
    • [8].全国信标委第三届委员会第五次全体会议在京召开[J]. 中国标准导报 2016(06)
    • [9].蓝牙信标存潜在风险[J]. 发明与创新(大科技) 2016(05)
    • [10].信标碰撞技术在车联网通信中的应用[J]. 信息记录材料 2019(11)
    • [11].钠信标测光理论与实验研究[J]. 红外与激光工程 2018(01)
    • [12].信标率控制方法在车载自组织网络中的应用[J]. 控制工程 2015(06)
    • [13].某型信标天线结构设计[J]. 中国科技信息 2016(07)
    • [14].全国信标委三届五次全会在京召开[J]. 中国标准化 2016(06)
    • [15].自适应光学系统中人造信标的参数设计[J]. 大气与环境光学学报 2014(03)
    • [16].基于最小二乘测距定位算法信标最优部署模型[J]. 计算机学报 2013(03)
    • [17].多移动信标辅助的分布式节点定位方法[J]. 通信学报 2012(03)
    • [18].基本信标计算的一种快速算法[J]. 西安电子科技大学学报 2008(04)
    • [19].无线传感器网络节点定位中移动信标的路径规划[J]. 兵器装备工程学报 2016(02)
    • [20].一种塔康信标扩展数据广播功能的方法[J]. 空军工程大学学报(自然科学版) 2015(04)
    • [21].扩展信标非等晕误差理论分析[J]. 强激光与粒子束 2014(10)
    • [22].单信标导航信号检测方法研究[J]. 科学技术与工程 2011(23)
    • [23].全国信标委“电子课本与电子书包”标准专题组成立[J]. 信息技术与标准化 2010(12)
    • [24].基于移动信标的无线传感器网络节点定位[J]. 传感技术学报 2009(01)
    • [25].人造钠信标角度非等晕性的实验研究[J]. 物理学报 2018(09)
    • [26].基于阈值的车联网信标传输功率控制算法[J]. 东北大学学报(自然科学版) 2017(03)
    • [27].基于单信标的水声定位信号设计及捕获算法研究[J]. 中国科技论文 2015(14)
    • [28].美式信标在基于通信的列车控制信号系统中的应用分析[J]. 城市轨道交通研究 2015(11)
    • [29].便携式空投信标的研制[J]. 声学与电子工程 2010(04)
    • [30].双频信标差分导航系统的探究与实现[J]. 珠江水运 2016(19)

    标签:;  ;  ;  

    一类Petri网中基本信标的快速求解算法
    下载Doc文档

    猜你喜欢