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.

[1]  Fu-Shiung Hsieh.  Robustness of deadlock avoidance algorithms for sequential processes , 2003, Autom..

[2]  Maria Pia Fanti,et al.  Event control for deadlock avoidance in assembly systems , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[3]  Shi-Chung Chang,et al.  Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..

[4]  Fu-Shiung Hsieh.  Reconfigurable fault tolerant deadlock avoidance controller synthesis for assembly production processes , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[5]  Elzbieta Roszkowska,et al.  Problems of Process Flow Feasibility in FAS , 1992 .

[6]  L. Recalde,et al.  A deadlock avoidance approach for non-sequential resource allocation systems , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[7]  MuDer Jeng,et al.  Synthesis using resource control nets for modeling shared-resource systems , 1995, IEEE Trans. Robotics Autom..

[8]  Fu-Shiung Hsieh.  Deadlock avoidance algorithms for assembly processes with unreliable resources , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[9]  Elzbieta Roszkowska.  CAST Tools for Automatic FMS-Dynamics Models Synthesis , 1991, EUROCAST.