基于基本信标的FMS死锁预防

发布时间：2022-01-17 08:48

　　本文针对Petri网的子类提出了一种新的建立控制器的方法，这种方法可以很好地建模控制许多柔性制造系统。在以前所做的工作中，我们要算出一个Petri网中所有的严格极小信标，然后把它们分为基本信标和从属信标再设计相应的控制器。但这种方法遇到较大的网系统时，不仅花费的时间长而且不易得到理想的结果。 通常情况下，基本信标的个数比严格极小信标的个数少的多，而且基本信标的个数不会超过网系统库所个数和变迁个数的最小值。针对Petri的一个子类，本文提出了一种直接求取网系统基本信标的方法，这种方法不需要计算出所有的严格极小信标。对于每一个基本信标，我们给网系统添加一个控制库所使其成为不变式可控。我们的方法可以保证添加控制库所后，不会再产生可被清空的信标。当所有的基本信标都是可控之后，从属信标的可控性由与之相关的基本信标的可控性来保证，并用混合整数规划法进行验证。与现有的死锁控制方法相比，我们这种新的死锁预防策略不但提出了一种新的信标求取的方法，而且通过添加少量的控制库所和弧就可以得到一个活的控制器，简化了控制策略。更重要的是，我们避免了求取所有的信标，只要直接求取基本信标并对其加以控制就可得到活... 

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

【文章页数】：60 页

【学位级别】：硕士

【文章目录】：
第一章 绪论
    1.1 研究背景与意义
    1.2 死锁问题的解决方法
    1.3 信标的求取方法
    1.4 本文完成的主要工作
第二章 Petri网的基本概念
    2.1 Petri网的基本理论
    2.2 举例
    2.3 自动制造系统的Petri网模型
    2.4 小结
第三章 S~3PR网模型和基本信标理论
    3.1 FMS的Petri网模型—S~3PR
    3.2 资源控制合并网
    3.3 Petri网的基本信标理论
    3.4 小结
第四章 S~3PR网中的资源回路和基本信标
    4.1 资源回路的概念和寻找方法
    4.2 由资源回路形成的信标
    4.3 S~3PR网中的基本信标
    4.4 小结
第五章 S~3PR网中SMS的快速求取算法
    5.1 信标的复合方法
    5.2 举例与比较
    5.3 小结
第六章 死锁预防策略
    6.1 MIP方法
    6.2 信标控制方法
    6.3 死锁预防策略
    6.4 小结
第七章 死锁控制应用举例
    7.1 一个FMS死锁预防算法举例
    7.2 最大规模的FMS死锁预防算法实例
    7.3 小结
结束语
致谢
参考文献
在读期间的研究成果



本文编号：3594431