基于柔性制造系统的基本信标死锁预防分析

发布时间：2024-04-13 02:56

　　在柔性制造系统中对有限资源的竞争会使系统产生死锁现象。Petri网作为一种工具，它很方便的为柔性制造系统建模，分析并解决了这一死锁问题。基于Petri网来防止柔性制造系统出现死锁的方法是通过给每一个严格极小信标添加一个控制库所和连接弧来保证每一个严格极小信标不会被清空。通常，随着网规模的增大，极小信标的的数目会激增，该方法的缺点是给网系统添加了过多的控制库所，这样便会使最终网系统比初始网系统复杂很多。本文致力于在得到同样控制效果的同时减少新添加库所的研究。 首先我们提出了基本信标是研究Petri网死锁的一个很有效的策略，在此基础上介绍了基本信标的死锁预防算法。而且在研究中我们分析了此种算法在设计Petri网活性监督器时的一些优点。通过对几种不同规模的柔性制造系统的死锁分析，我们利用基本信标的死锁预防算法可以使监督器在结构上更简单，而且此种算法的优越性在规模越大的网中越明显。 同时在研究过程中由于添加控制库所过多，我们遇到了为原网添加控制弧的困难，由于不慎很可能造成最后计算的错误。这样基于此问题，本文提出了一种添加控制弧的算法，并编写了程序。

【文章页数】：66 页

【学位级别】：硕士

【文章目录】：
第一章 绪论
    1.1 研究背景与意义
    1.2 本文完成的主要工作
第二章 Petri网的基本概念
    2.1 Petri网的基本理论
    2.2 举例
    2.3 自动制造系统的Petri网模型
    2.4 小结
第三章 S³PR网模型及基本信标理论
    3.1 一类FMS的Petri网模型—S³PR简介
    3.2 Petri网的基本信标理论
    3.3 小结
第四章 两种死锁预防算法
    4.1 Ezpeleta死锁预防算法
    4.2 基于基本信标的死锁预防算法
    4.3 两种算法在FMS系统的应用比较
    4.4 小结
第五章 死锁算法在FMS系统的应用实例
    5.1 两种死锁算法在实际中的举例
    5.2 小结
第六章 FMS系统添加控制库所的程序算法
    6.1 一种计算系统添加弧数的程序算法
    6.2 一种计算系统添加控制库所的程序算法
    6.3 小结
附录A
附录B
结束语
致谢
参考文献
在读期间的研究成果



本文编号：3952371