Pages that link to "Item:Q4394364"
From MaRDI portal
The following pages link to A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems (Q4394364):
Displayed 17 items.
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950) (← links)
- Deadlock analysis and control using Petri net decomposition techniques (Q2212081) (← links)
- Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources (Q2213104) (← links)
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets (Q2292945) (← links)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems (Q2293066) (← links)
- Supervisor reconfiguration for deadlock prevention by resources reallocation (Q2375493) (← links)
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems (Q3055275) (← links)
- Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming (Q3058342) (← links)
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming (Q3063811) (← links)
- Coloured timed Petri net model for real-time control of automated guided vehicle systems (Q3159662) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
- Requests network model for deadlock detection and avoidance in automated manufacturing systems (Q4671286) (← links)
- Control of deadlock and blocking for production systems with unreliable workstations (Q4706350) (← links)
- Deadlock avoidance for manufacturing multipart re-entrant flow lines using a matrix-based discrete event controller (Q4707449) (← links)
- Deadlock-free scheduling in flexible manufacturing systems using Petri nets (Q4710088) (← links)
- Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions (Q5177180) (← links)
- Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems (Q5712038) (← links)