Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations

This paper demonstrates how industrial models of the sequential order between manufacturing operations may be connected with academic resource deadlock avoidance policies. Given a set of product types each modeled as a sequence of operations, the operations can be adapted to control concurrent manufacturing of multiple product instances, without resource deadlocks and with maximal flexibility. The given sequences of operations may contain routing flexibility, conjunctive and/or disjunctive resource requirements, and product assembly. Using a known deadlock avoidance approach, this paper presents how to transform the given operations into models required for the deadlock avoidance approach and how the calculated policy may be retransformed back into the operations.