A comparative study of two deadlock avoidance controller synthesis methods for assembly processes

Although there are a few results regarding deadlock avoidance problem for non-sequential production processes in literature, there is a lack of comparison for the existing results. The goal of this paper is to compare two existing results concerning deadlock avoidance in assembly manufacturing systems. This paper considers a subclass of the existing controlled assembly Petri nets (CAPN) with each operation requiring only one unit of arbitrary number of types resources called CAPNU. Analysis shows that the synthesis method proposed in our previous work is less conservative than that proposed in an existing result for the class of CAPNU.