Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems"

DOI10.1109/9.917717zbMath1136.90342MaRDI QIDQ4540370

Mark A. Lawley, Jonghun Park, Placid M. Ferreira, Spyros A. Reveliotis

Publication date: 21 July 2002

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/9.917717

Mathematics Subject Classification ID

90C90: Applications of mathematical programming

90C60: Abstract computational complexity for mathematical programming problems

90B30: Production models

Related Items

A multistep look-ahead deadlock avoidance policy for automated manufacturing systems