一种高效的基于Petri网的柔性制造系统死锁恢复策略
发布时间:2020-12-06 02:48
柔性制造系统(Flexible manufacturing system,FMS)是一种典型的自动化处理系统,通过使用有限和共享的资源来完成不同类型的生产流程,例如机床,机器人和自动导引车等。在不同的生产过程中,资源的竞争往往会导致死锁的发生。死锁是最不期望出现在制造系统中的状态,这是因为死锁的发生会使整个系统或者系统中的一部分出现阻塞,并且某些生产过程也会产生不连续的现象,长时间的宕机和较低的资源利用率都是系统需要被改进的方面。因此,系统中的死锁必须被有效地控制。在对自动制造系统行为建模和分析中,Petri网是一种非常有效的工具,已有的研究中多数分析和避免系统中的死锁问题的策略都是基于Petri网模型的。本文主要提出一种由变迁控制的死锁恢复策略,旨在解决基于Petri网建模的柔性制造系统中产生的死锁问题。与传统基于控制器的死锁控制策略有所不同,该方法是通过在系统中增加额外的控制变迁使所有的死锁标识被恢复至某些合法标识,最终得到一个包含所有可达状态且具有活性的网模型。为了得到较少数目的恢复变迁,本文提出一种迭代求交集的方法来获得所有的恢复变迁。主要的研究内容如下:1.该控制策略的主要思...
【文章来源】:西安电子科技大学陕西省 211工程院校 教育部直属院校
【文章页数】:77 页
【学位级别】:硕士
【文章目录】:
ABSTRACT
摘要
List of Symbols
List of Abbreviations
Chapter 1 Introduction
1.1 Flexible Manufacturing Systems (FMSs)
1.2 Deadlock in Flexible Manufacturing Systems
1.3 Deadlock Control Based on Petri Nets in FMSs
1.4 Thesis Organization
Chapter 2 Preliminaries
2.1 Basics of Petri Nets
2.2 Reachability Graph Analysis
2.3 Structural Analysis
2.4 Vector Covering Approach for FMSs
2.5 Conclusion
Chapter 3 Transition-controlled Deadlock Recovery
3.1 Deadlocks Recovered by Transitions
3.1.1 Basic Definition
3.1.2 Recovery Transition for Operation Places
3.1.3 Recovery Transition for Idle and Resource Places
3.2 The Derivation of Recovery Transitions
3.2.1 The Set of Recovery Transitions for One Deadlock
3.2.2 Common Recovery Transitions for Two Deadlocks
3.3 Iterative Intersection Approach for Recovery Transitions
3.4 Conclusion
Chapter 4 Deadlock Recovery Policy and Illustrative Example
4.1 Algorithm of Deadlock Recovery Policy
4.2 Experimental Results
4.3 Conclusion
Chapter 5 Conclusion and Future Work
References
Acknowledgements
Biography
本文编号:2900573
【文章来源】:西安电子科技大学陕西省 211工程院校 教育部直属院校
【文章页数】:77 页
【学位级别】:硕士
【文章目录】:
ABSTRACT
摘要
List of Symbols
List of Abbreviations
Chapter 1 Introduction
1.1 Flexible Manufacturing Systems (FMSs)
1.2 Deadlock in Flexible Manufacturing Systems
1.3 Deadlock Control Based on Petri Nets in FMSs
1.4 Thesis Organization
Chapter 2 Preliminaries
2.1 Basics of Petri Nets
2.2 Reachability Graph Analysis
2.3 Structural Analysis
2.4 Vector Covering Approach for FMSs
2.5 Conclusion
Chapter 3 Transition-controlled Deadlock Recovery
3.1 Deadlocks Recovered by Transitions
3.1.1 Basic Definition
3.1.2 Recovery Transition for Operation Places
3.1.3 Recovery Transition for Idle and Resource Places
3.2 The Derivation of Recovery Transitions
3.2.1 The Set of Recovery Transitions for One Deadlock
3.2.2 Common Recovery Transitions for Two Deadlocks
3.3 Iterative Intersection Approach for Recovery Transitions
3.4 Conclusion
Chapter 4 Deadlock Recovery Policy and Illustrative Example
4.1 Algorithm of Deadlock Recovery Policy
4.2 Experimental Results
4.3 Conclusion
Chapter 5 Conclusion and Future Work
References
Acknowledgements
Biography
本文编号:2900573
本文链接:https://www.wllwen.com/kejilunwen/zidonghuakongzhilunwen/2900573.html