A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
From MaRDI portal
Publication:4394364
DOI10.1080/00207549408957073zbMath0902.90082OpenAlexW2114697779WikidataQ126250392 ScholiaQ126250392MaRDI QIDQ4394364
No author found.
Publication date: 11 June 1998
Published in: International Journal of Production Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207549408957073
Related Items (17)
Coloured timed Petri net model for real-time control of automated guided vehicle systems ⋮ Supervisor reconfiguration for deadlock prevention by resources reallocation ⋮ Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Deadlock analysis and control using Petri net decomposition techniques ⋮ Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources ⋮ Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems ⋮ Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems ⋮ Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions ⋮ Requests network model for deadlock detection and avoidance in automated manufacturing systems ⋮ On deadlock control for a class of generalised Petri net models of flexible manufacturing systems ⋮ Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming ⋮ Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming ⋮ Deadlock recovery for flexible manufacturing systems modeled with Petri nets ⋮ A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems ⋮ Control of deadlock and blocking for production systems with unreliable workstations ⋮ Deadlock avoidance for manufacturing multipart re-entrant flow lines using a matrix-based discrete event controller ⋮ Deadlock-free scheduling in flexible manufacturing systems using Petri nets
Cites Work
This page was built for publication: A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
