The Resource Allocation Problem in Flexible Manufacturing Systems

The analysis of resource allocation related aspects is a precondition for the design and control of Flexible Manufacturing Systems. The formulation of this application-driven problem in terms of Petri nets leads to a class of models, with a specific structure-based characterization, which we explore in this presentation. We will concentrate our efforts on the characterization of the liveness of such models. We will also discuss the structural causes of the non-liveness (deadlock of some manufacturing processes) that will allow to state the foundations to introduce control elements which eliminate all the bad states.

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

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

[3]  MuDer Jeng,et al.  ERCN-merged nets and their analysis using siphons , 1999, IEEE Trans. Robotics Autom..

[4]  Abraham Silberschatz,et al.  Operating System Concepts , 1983 .

[5]  Kamel Barkaoui,et al.  Supervisory control of discrete event systems based on structure theory of Petri nets , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[6]  Fu-Shiung Hsieh,et al.  Deadlock Avoidance Controller Synthesis For Flexible Manufacturing Systems , 1992, Proceedings of the Third International Conference on Computer Integrated Manufacturing,.

[7]  Jonghun Park,et al.  A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[8]  Mark Lawley,et al.  Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..

[9]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[10]  Manuel Silva Suárez,et al.  Petri Nets and Production Systems , 1996, Petri Nets.

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

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

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

[14]  F. Tricas,et al.  An extension of the liveness theory for concurrent sequential processes competing for shared resources , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[15]  Spyros A. Reveliotis,et al.  Accommodating FMS operational contingencies through routing flexibility , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

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

[17]  Jonghun Park,et al.  Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems , 2000, IEEE Trans. Robotics Autom..

[18]  Haoxun Chen,et al.  Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .

[19]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[20]  Joaquín Ezpeleta,et al.  A Petri net solution to the problem of deadlocks in systems of processes with resources , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).

[21]  Feng Chu,et al.  Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..