Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
DOI10.1016/S0005-1098(98)00048-XzbMATH Open0966.90028MaRDI QIDQ1295161FDOQ1295161
Authors: Frank L. Lewis, A. Gürel, Stjepan Bogdan, Alper Doǧanalp, Octavian Pastravanu 
Publication date: 1 December 1999
Published in: Automatica (Search for Journal in Brave)
Recommendations
- A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
- Evaluating order of circuits for deadlock avoidance in a flexible manufacturing system
- scientific article; zbMATH DE number 1836364
- Avoidance of deadlocks in flexible manufacturing systems using a capacity-designated directed graph
- Deadlock avoidance algorithm for flexible manufacturing systems by calculating effective free space of circuits†
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
- scientific article; zbMATH DE number 978521
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
- scientific article; zbMATH DE number 1836367
resource allocationPetri netsdiscrete event systemsstructural propertiesflexible manufacturing systemsdeadlockmatrix methodscontrol schemes
Production models (90B30) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete location and assignment (90B80)
Cited In (15)
- Title not available (Why is that?)
- Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018]
- Requests network model for deadlock detection and avoidance in automated manufacturing systems
- Liveness of an extended S\(^{3}\)PR
- Comments on ``Liveness of an extended \(\operatorname{S}^3 \operatorname{PR}\), [automatica 46 (2010) 1008-1018]
- A modular control design method for a flexible manufacturing cell including error handling
- Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Scheduling a wet station for wafer cleaning with multiple job flows and multiple wafer-handling robots
- Deadlock and liveness characterization for a class of generalized Petri nets
- Deadlock avoidance for manufacturing multipart re-entrant flow lines using a matrix-based discrete event controller
- Necessary and sufficient liveness condition of GS3PR Petri nets
- Deadlock-free dynamic resource assignment in multi-robot systems with multiple missions: application in wireless sensor networks
- Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems
- A Novel Matrix Approach to Determine Makespan for Zero-Wait Batch Processes
This page was built for publication: Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295161)
