Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations
Paper in proceedings, 2012

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.


Patrik Bergagård

Chalmers, Signals and Systems, Systems and control, Automation

Martin Fabian

Chalmers, Signals and Systems, Systems and control, Automation

2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012, Seoul, 20-24 August 2012

2161-8070 (ISSN)

515 - 520

Areas of Advance


Subject Categories






More information