Computational complexity of determining resource loops in re-entrant flow lines

This paper presents a comparison study of the computational complexity of the general job shop protocol and the more structured flow line protocol in a flexible manufacturing system. It is shown that the representative problem of finding resource invariants is NP-complete in the case of the job shop, while in the flow line case it admits a closed form solution. The importance of correctly selecting part flow and job routing protocols in flexible manufacturing systems to reduce complexity is thereby conclusively demonstrated.

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

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

[3]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[4]  Alan A. Desrochers.  Modeling and Control of Automated Manufacturing Systems , 1989 .

[5]  Andrew Kusiak,et al.  Intelligent scheduling of automated machining systems , 1992 .

[6]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

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

[8]  P. R. Kumar,et al.  Distributed scheduling based on due dates and buffer priorities , 1991 .

[9]  Hakki Eskicioglu.  An expert-system approach to the assembly planning of roller chains , 1990 .

[10]  Elsayed A. Elsayed,et al.  Analysis and control of production systems , 1993 .

[11]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[12]  Frank L. Lewis,et al.  A new matrix model for discrete event systems: application to simulation , 1997 .

[13]  Sean P. Meyn,et al.  Stability of queueing networks and scheduling policies , 1995, IEEE Trans. Autom. Control..

[14]  Panos J. Antsaklis,et al.  A system and control theoretic perspective on artificial intelligence planning systems , 1989, Appl. Artif. Intell..

[15]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[16]  Kimon P. Valavanis,et al.  An efficient planning technique for robotic assemblies and intelligent robotic systems , 1990, J. Intell. Robotic Syst..

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

[18]  John N. Warfield,et al.  Binary Matrices in System Modeling , 1973, IEEE Trans. Syst. Man Cybern..

[19]  Kimon P. Valavanis,et al.  A general organizer model for robotic assemblies and intelligent robotic systems , 1991, IEEE Trans. Syst. Man Cybern..

[20]  D. V. Steward.  On an Approach to Techniques for the Analysis of the Structure of Large Systems of Equations , 1962 .

[21]  Kimon P. Valavanis,et al.  Fuzzy logic based formulation of the organizer of intelligent robotic systems , 1990, 29th IEEE Conference on Decision and Control.

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

[23]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[24]  Stephen C. Graves,et al.  A Review of Production Scheduling , 1981, Oper. Res..

[25]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for discrete manufacturing systems , 1991, Autom..

[26]  George N. Saridis,et al.  A Boltzmann machine for the organization of intelligent machines , 1990, IEEE Trans. Syst. Man Cybern..

[27]  MuDer Jeng,et al.  Synthesis using extended resource control nets for modeling shared-resource automated systems , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[28]  Erwin R. Boer,et al.  Generating basis siphons and traps of Petri nets using the sign incidence matrix , 1994 .