A literature review of deadlock prevention policy based on petri nets for automated manufacturing systems

作者：Guan Xuanxuan; Li Yue; Xu Jianxia; Wang Chengying; Wang Shouguang^*

来源：International Journal of Digital Content Technology and Its Applications, 2012, 6(21): 426-433.

DOI：10.4156/jdcta.vol6.issue21.48

• Automated manufacturing systems
• Automated systems
• Deadlock avoidance
• Deadlock detection
• Deadlock prevention
• Deadlock prevention policy
• Economic loss
• Inherent characteristics
• Literature reviews
• Mathematical tools
• Resource allocation systems

Deadlock is an undesired situation in a highly automated system due to the fact that no system can allow its occurrence which may produce some unnecessary economic losses or serious consequences. There are three mathematical tools to handle deadlocks in resource allocation systems: graph theory, finite state machine, and Petri net. Due to its inherent characteristics, Petri nets are widely applied to manufacturing systems. Generally, these existing deadlock methods are classified into three strategies: deadlock detection and recovery, deadlock avoidance, and deadlock prevention. In this paper, a review of deadlock prevention policies and merits and drawbacks of these policies are presented. Then it gives the possible trend of the research in the future.

• 出版日期2012
• 单位东南大学