Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems

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)

zbMATH Keywords

flexible manufacturing systemsmatrix methodsresource allocationPetri netsdiscrete event systemsstructural propertiesdeadlockcontrol schemes

Mathematics Subject Classification ID

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 GS³PR Petri nets

This page was built for publication: Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems