A Modular Approach for Deadlock Avoidance in FMS

In Petri net models of FMS, deadlock avoidance policies based on siphon control may require an excessive computational load and result in over-sized control sub-nets. In this work, a simple approach is proposed for the design of sub-optimal but compact controllers. The approach is based on the separate control of two sub-sets of resources, and an anticipated booking mechanism for one of the two sets of resources that decouples the two sub-models. An illustrative example is provided, which shows how the partition design influences the control quality and performance.

[1]  Spyros A. Reveliotis,et al.  Deadlock avoidance policies for automated manufacturing cells , 1996, IEEE Trans. Robotics Autom..

[2]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

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

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

[5]  L. Ferrarini,et al.  Automatic synthesis of multiple place resource models with Petri nets , 2004, Proceedings of the 2004 American Control Conference.

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

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

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

[9]  Richard A. Wysk,et al.  Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches , 1994 .

[10]  P. Antsaklis,et al.  Reduced-order controllers for continuous and discrete-time singular H ∞ control problems based on LMI , 1996 .

[11]  MengChu Zhou,et al.  Modeling buffers in automated manufacturing systems using Petri nets , 1990, [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing.

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

[13]  Luigi Piroddi,et al.  Modeling and control of transporting systems in batch processes with multiple aggregated resources , 2001, Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206).

[14]  Panos J. Antsaklis,et al.  Synthesis of deadlock prevention supervisors using Petri nets , 2002, IEEE Trans. Robotics Autom..

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

[16]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[17]  Luca Ferrarini,et al.  Deadlock avoidance control for manufacturing systems with multiple capacity resources , 1998 .

[18]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[19]  MengChu Zhou,et al.  Petri net modelling of buffers in automated manufacturing systems , 1996, IEEE Trans. Syst. Man Cybern. Part B.

[20]  Knut Åkesson,et al.  Deadlock avoidance in batch processes , 1999 .

[21]  M. Omizo,et al.  Modeling , 1983, Encyclopedic Dictionary of Archaeology.

[22]  Sanjay B. Joshi,et al.  Deadlock-free schedules for automated manufacturing workstations , 1996, IEEE Trans. Robotics Autom..