Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems

DOI10.1155/2015/537893zbMath1394.68241OpenAlexW1733418053WikidataQ59119215 ScholiaQ59119215MaRDI QIDQ1665952

Husam Kaid, Abdulrahman Al-Ahmari, Abdulaziz M. El-Tamimi, Emad Abouel Nasr

Publication date: 27 August 2018

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2015/537893

Mathematics Subject Classification ID

Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Matlab

Cites Work

• Unnamed Item
• Robustness of deadlock control for a class of Petri nets with unreliable resources
• Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems

This page was built for publication: Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems