Brave, Y.Sonzogni, G.Bonvin, D.2004-11-262004-11-262004-11-261993https://infoscience.epfl.ch/handle/20.500.14299/173278On Deadlock Avoidance in Production Systems with Concurrent Control Actionstext::conference output::conference proceedings::conference paper