RESOURCES ALLOCATION CONTROL IN FLEXIBLE MANUFACTURING SYSTEMS USING THE DEADLOCK AVOIDANCE METHOD

The Flexible Manufacturing Systems (FMS) belong to class of productive systems in which the main characteristic is the simultaneous execution of several processes and sharing a finite set of resource. The process is defined as being a sequence of steps or activities. These activities are established a priori as being activities of transformation and/or transportation in which the aggregate value of the product or a service rendering if increases by each concluded activity. The FMS belongs to a class of Discrete Events Dynamic Systems (DEDS). The discrete state of these systems evolves when the events occurs, in other words, the occurrence of event causes an abrupt state transition in the system. Nowadays, the FMS must attend the demand of the market needs for personalized products. Consequently the product life cycles tends to be shorter and a greater variety of products must be produced in a simultaneous manner. Thus, the flexibility is an important factor of the FMS to execute with effective and efficient form their functions. The FMS efficiency is one of the more important factors studied by the researchers. The aspect of the processes optimization involves three questions: (i) the access to the new technological resource, (ii) the optimization of the resources allocation and (iii) the need to updating of the control system every time arises a demand of a new product or new service rendering. The main objective is improves the overall capacity of the plant. As a result, it is very important the control of such systems considering the optimization of the resources allocation. In previous work was presented the case study that involves one instance of each resource and the systematization of the resource control design. In this work will be presented a case study of multiple instances of resource in FMS, and an improvement of the algorithm to find the closed wait cycles with adjacency list representation, and present the new algorithm for generation of the control additional rules for avoid deadlock in FMS.

[1]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[2]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[3]  Kathryn E. Stecke,et al.  A Hierarchical approach to solving machine grouping and loading problems of flexible manufacturing systems , 1986 .

[4]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[5]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[6]  Edwin K. P. Chong,et al.  Discrete event systems: Modeling and performance analysis , 1994, Discret. Event Dyn. Syst..

[7]  Hyunbo Cho,et al.  A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems , 1994 .

[8]  Bruce Edmonds,et al.  What is Complexity? - The philosophy of complexity per se with application to some examples in evolution , 1995 .

[9]  Maria Pia Fanti,et al.  Event-based feedback control for deadlock avoidance in flexible production systems , 1997, IEEE Trans. Robotics Autom..

[10]  Frank L. Lewis,et al.  Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems , 1998, Autom..

[11]  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.

[12]  Maria Pia Fanti,et al.  Comparing digraph and Petri net approaches to deadlock avoidance in FMS , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[13]  Joaquín Ezpeleta,et al.  A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states , 2002, IEEE Trans. Robotics Autom..

[14]  Zbigniew Banaszak,et al.  Deadlock-free distributed control for repetitive flows , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[15]  Fu-Shiung Hsieh.  Modeling and control of holonic manufacturing systems based on extended contract net protocol , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[16]  P.E. Miyagi,et al.  Systematization of the project of the production system control , 2003, 2003 IEEE International Symposium on Industrial Electronics ( Cat. No.03TH8692).

[17]  Joaquín Ezpeleta,et al.  A deadlock avoidance approach for nonsequential resource allocation systems , 2002, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.