一种基于传递矩阵的死锁检测和预防策略

发布时间：2021-01-06 16:50

　　利用Petri网对柔性制造系统进行设计一直是Petri网研究的重要方向。对于一个网模型而言,找到死锁节点,利用一定办法对其死锁节点进行控制,使其网变活,是一种良好的控制策略。在这篇文章里,我们提到了一种新的死锁检测方法,利用传递矩阵这一新的死锁查找办法,得到S³PR网的死锁节点,然后结合P-不变式控制原理,对网添加控制库所和相应控制弧,使得S³PR网最终是一个活的Petri网模型。这种新的死锁查找方法是在研究0-1网的基础上得到的,并把它推广应用到任何普通网内,与P-不变式控制原理相结合形成新的Petri网死锁检测和预防策略。该策略可以利用Matlab软件编程去进行矩阵计算,从而可大大节省计算时间,使控制器的设计相比于以前的查找死锁办法更简单,效率更高。因此利用这种新的死锁检测和预防策略可以在较短的时间里得到一个优化的Petri网模型。 

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

【文章页数】：67 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第一章 绪论
    1.1 研究背景与意义
    1.2 Petri网的研究和应用现状
    1.3 FMS系统的死锁研究现状
    1.4 本文完成的主要工作
第二章 Petri网理论基础及系统建模分析
    2.1 Petri网的基本理论
        2.1.1 Petri网的基础定义
        2.1.2 Petri网的活性及不变式
        2.1.3 Petri网的一些基本性质
    2.2 FMS的Petri网模型
    2.3 Petri网中库所的分类
    2.4 小结
第三章 柔性制造系统的Petri网模型
    3.1 资源控制合并网
3PR网">    3.2 FMS的Petri网模型-S³PR网
    3.3 小结
第四章 基本信标理论
    4.1 基本信标和从属信标
    4.2 信标的可控条件
    4.3 求取基本信标的一种算法
    4.4 小结
第五章 传递矩阵的概念和特性
    5.1 传递矩阵的基本概念
    5.2 传递矩阵应用实例及算法
        5.2.1 一个求Petri网死锁过程实例
        5.2.2 求取死锁详细算法设计
    5.3 小结
第六章 死锁预防控制策略
    6.1 死锁预防控制本质思想
    6.2 基于P-不变式的死锁预防控制
    6.3 小结
第七章 一种新的死锁检测和预防策略
    7.1 死锁检测和预防策略算法
    7.2 应用举例
    7.3 小结
第八章 总结和展望
致谢
参考文献
在读期间的研究成果



本文编号：2960916