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

DOI10.1155/2015/537893MaRDI QIDQ1665952zbMATH OpenOpenAlexWikidataFDO

Authors Emad Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi, Abdulrahman M. Al-Ahmari, Husam Kaid

Publication date 27 August 2018

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

Copyright license Creative Commons Attribution 3.0 Unported

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

Mathematics Subject Classification ID

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

Review text

Summary: In automated manufacturing systems (AMSs), deadlocks problems can arise due to limited shared resources. Petri nets are an effective tool to prevent deadlocks in AMSs. In this paper, a simulation based on existing deadlock prevention policies and different Petri net models are considered to explore whether a permissive liveness-enforcing Petri net supervisor can provide better time performance. The work of simulation is implemented as follows. (1) Assign the time to the controlled Petri net models, which leads to timed Petri nets. (2) Build the Petri net model using MATLAB software. (3) Run and simulate the model, and simulation results are analyzed to determine which existing policies are suitable for different systems. Siphons and iterative methods are used for deadlocks prevention. Finally, the computational results show that the selected deadlock policies may not imply high resource utilization and plant productivity, which have been shown theoretically in previous publications. However, for all selected AMSs, the iterative methods always lead to structurally and computationally complex liveness-enforcing net supervisors compared to the siphons methods. Moreover, they can provide better behavioral permissiveness than siphons methods for small systems. For large systems, a strict minimal siphon method leads to better behavioral permissiveness than the other methods.

Recommendations

• Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems
• A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
• A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
• Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets
• Deadlock prevention policy based on Petri nets and siphons

Cites work

• Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
• scientific article; zbMATH DE number 4045165 (Why is no real title available?)
• Robustness of deadlock control for a class of Petri nets with unreliable resources

Cited in

(1)

• Deadlock prevention for flexible manufacturing system

Describes a project that uses

Uses Software

• Matlab

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1665952)