Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
From MaRDI portal
Publication:1295161
DOI10.1016/S0005-1098(98)00048-XzbMath0966.90028MaRDI QIDQ1295161
Frank L. Lewis, Stjepan Bogdan, Ayla Gürel, Octavian Pastravanu, Alper Doǧanalp
Publication date: 1 December 1999
Published in: Automatica (Search for Journal in Brave)
flexible manufacturing systemsmatrix methodsresource allocationPetri netsdiscrete event systemsstructural propertiesdeadlockcontrol schemes
Production models (90B30) Discrete location and assignment (90B80) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (11)
Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018] ⋮ Comments on ``Liveness of an extended \(\operatorname{S}^3 \operatorname{PR}\), [automatica 46 (2010) 1008-1018] ⋮ Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems ⋮ Deadlock-free dynamic resource assignment in multi-robot systems with multiple missions: application in wireless sensor networks ⋮ Liveness of an extended S\(^{3}\)PR ⋮ Requests network model for deadlock detection and avoidance in automated manufacturing systems ⋮ Scheduling a wet station for wafer cleaning with multiple job flows and multiple wafer-handling robots ⋮ Deadlock avoidance for manufacturing multipart re-entrant flow lines using a matrix-based discrete event controller ⋮ A modular control design method for a flexible manufacturing cell including error handling ⋮ Deadlock and liveness characterization for a class of generalized Petri nets ⋮ Necessary and sufficient liveness condition of GS3PR Petri nets
This page was built for publication: Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
