Advanced search
Publication Cover
International Journal of Production Research Volume 40, 2002 - Issue 13
Submit an article Journal homepage
49
Views
5
CrossRef citations to date
0
Altmetric
Original Articles

Deadlock avoidance for manufacturing multipart re-entrant flow lines using a matrix-based discrete event controller

José Mireles Jr
,
Frank L. Lewis
&
Ayla Gürel
Pages 3139-3166 | Published online: 14 Nov 2010

  • BANASZAK , Z. A. and KROGH , B. H. 1990 . Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows . IEEE Transactions on Robotics and Automation , 6 : 724 – 734 .
  • BUZACOTT , J. A. and YAO , D. D. 1986 . Flexible manufacturing systems: a review of analytical models . Management Science , 7 : 890 – 905 .
  • COFER , D. D. and GARG , V. K. A timed model for the control of discrete event systems involving decisions in the Max/Plus algebra . Proceedings of the 31st Conference on Decision and Control . pp. 3363 – 3368 .
  • EZPELETA , S. D. , COLOM , J. M. and MARTINEZ , J. 1995 . A Petri Net based deadlock prevention policy for flexible manufacturing systems . IEEE Transactions on Robotics and Automation , 11 : 173 – 184 .
  • FANTI , M.P. , MAIONE , B. , MASCOLO , S. and TURCHIANO , B. 1997 . Event-based feedback control for deadlock avoidance in flexible production systems . IEEE Transactions on Robotics and Automation , : 13
  • FANTI , M. P. , MAIONE , B. and TURCHIANO , B. 2001 . Distributed event-control for deadlock avoidance in automated manufacturing systems . International Journal of Production Research , 39 : 1993 – 2021 .
  • GRAVES , S. C. 1981 . A review of production scheduling . Operations Research , : 29
  • GUREL , A. , BOGDAN , S. and LEWIS , F. L. 2000 . Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines . IEEE Transactions an Automatic Control , 45 : 2086 – 2090 .
  • HARARY , F. 1972 . Graph Theory , Massachusetts : Addison-Wesley .
  • HARRIS , B. , COOK , D. and LEWIS , F. 2000 . Automatically generating plans for manufacturing . Journal of Intelligent Systems , 10 : 279 – 319 .
  • HSIEH , F.-S. and CHANG , S.-C. 1994 . Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems . IEEE Transactions on Robotics and Automation , 11 : 196 – 209 .
  • HUANG , H.-H. , LEWIS , F. L. and TACCONI , D. Deadlock analysis using a new matrixbased controller for reentrant flow line design . Proceedings of the 1996 Industrial Electronics, Control, and Instrumentation. IEEE IECON 22nd International Conference . Vol. 1 , pp. 463 – 468 .
  • HYUENBO , C. , KUMARAN , T. K. and WYSK , R. A. 1995 . Graph-theoretic deadlock detection and resolution for flexible manufacturing systems . IEEE Transactions on Robotics and Automation , 11 : 413 – 421 .
  • JENG , M. D. and DICESARE , F. 1995 . Synthesis using resource control nets for modelling shared-resource systems . IEEE Transactions on Robotics and Automation , 11 : 317 – 327 .
  • KUMAR , P. R. 1993 . Re-entrant lines, Queueing systems: Theory and Applications . Switzerland , 13 : 87 – 110 .
  • KUMAR , S. and KUMAR , P. R. 1992 . Performance bound for queueing networks and scheduling policies , Urbana, IL : Coordinated Science Lab., University of Illinois . Technical report
  • KUMAR , P. R. and KUMAR , S. P. 1995 . Stability of queueing networks and scheduling polices . IEEE Transaction on Automatic Control , 40 : 251 – 260 .
  • KUMARAN , T. K. , CHANG , W. , CHO , N. and WYSK , R. A. 1994 . A structured approach to deadlock detection, avoidance, and solution in flexible manufacturing systems . International Journal of Production Research , 32 : 2361 – 2379 .
  • KUSIAK , A. and AHN , J. 1991 . A resource-constrained job shop scheduling problem with general precedence constraints , Working paper, no. 90-03 Iowa
  • KUSIAK , A. and AHN , J. 1992 . Intelligent scheduling of automated machining systems . Computer Integrated Manufacturing Systems , 5 : 3 – 14 .
  • LEWIS , F. L. A control system design philosophy for discrete event manufacturing systems . Proceedings of the International Symposium on Implicit and Nonlinear Systems . pp. 42 – 50 . Arlington, TX
  • LEWIS , F. L. , HUANG , H.-H. and JAGANNATHAN , S. A systems approach to discrete event controller design for manufacturing systems control . Proceedings of the 1993 American Control Conference (IEEE Cat. No.93CH3225-0) . Vol. 2 , pp. 1525 – 1531 . Evanston, IL, , USA : American Automatic Control Council .
  • LEWIS , F. L. , PASTRAVANU , O. C. and HUANG , H.-H. Controller design and conflict resolution for discrete event manufacturing systems . Proceedings of the 32nd IEEE Conference an Decision and Control (Cat. No.93CH3307-6) . pp. 3288 – 3293 . New York, NY, , USA : IEEE . (4)
  • LEWIS , F. L. and HUANG , H.-H. 1994a . “ Control system design for flexible manufacturing systems ” . In Flexible Manufacturing Systems: Recent Developments , Edited by: Raouf , A. and Ben Daya , M. Elsevier .
  • LEWIS , F. L. , HUANG , H.-H. , PASTRAVANU , O. C. and GUREL , A. A matrix formulation for design and analysis of discrete event manufacturing systems with shared resources . 1994 IEEE International Conference on Systems, Man, and Cybernetics. Humans, Information and Technology (Cat. No. 94CH3571-5) . New York, NY, USA. Vol. 2 , pp. 1700 – 1705 .
  • LEWIS , F. L. , GOREL , A. , BOGDAN , S. , DOCANALP , A. and PASTRAVANU , O. C. 1998 . Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems . Automatica , 34 : 1083 – 1100 .
  • LOPEZ-MELLADO , E. 1995 . Simulation of timed Petri net models. Systems, Man and Cybernetics, 1995 . Intelligent Systems for the 21st Century , 3 : 2270 – 2273 .
  • MIRELES , J. and LEWIS , F. L. On the development and implementation of a matrixbased discrete event controller . MEDOl, Proceedings of the 9th Mediterranean Conference on Control and Automation . June 27-29 2001 , Dubrovnik, Croatia. Published on CD, reference MED01-012
  • MIRELES , J. and LEWIS , F. L. 2001b . Intelligent material handling development and implementation of a matrix-based discrete event controller . IEEE Transactions on Industrial Electronics , 48 : 1087 – 1097 .
  • MURATA , T. 1989 . Petri Nets: properties, analysis and applications . Proceedings of the IEEE , 77 : 541 – 580 .
  • PANWALKAR , S. S. and ISKANDER , W. 1977 . A survey of scheduling rules . Operations Research , 26 : 45 – 61 .
  • PASTRAVANU , O. C. , GUREL , A. , LEWIS , F. L. and HUANG , H.-H. Rule-based controller design algorithm for discrete event manufacturing systems . Proceedings of the 1994 American Control Conference . Vol. 1 , pp. 299 – 305 .
  • PASTRAVANU , O. C. , GUREL , A. and LEWIS , F. L. Petri Net based deadlock analysis in flowshops with kanban-type controllers . 10th ISPE/IFAC International Conference on CAD/CAM, Robotics and Factories of the Future CARs & FOF '94. Information Technology for Modern Manufacturing. Conference Proceedings . pp. 75 – 80 . OCRI Publications .
  • PETERSON , J. L. 1981 . Petri Net Theory and the Modelling of Systems , Englewood Cliffs, NJ : Prentice-Hall .
  • STEWARD , D. V. 1962 . On an approach to techniques for the analysis of the structure of large systems of equations . SIAM Review , 4 : 321 – 342 .
  • STEWARD , D. V. 1981a . The design structure system: a method for managing the design of complex systems . IEEE Transactions an Engineering Management , 28 : 71 – 74 .
  • STEWARD , D. V. 1981b . Systems analysis and management: structure, strategy, and design , New York : PetrocelH Books .
  • SPEARMAN , M. L. , WOODRUFF , D. L. and HOPP , W. J. 1990 . CONWIP: a pull alternative to Kanban . International Journal of Production Research , 28 : 879 – 894 .
  • TACCONI , D. A. and LEWIS , F. L. 1997 . A new matrix model for discrete event systems: application to simulation . IEEE Control Systems ,
  • WARFIELD , J. N. 1973 . Binary matrices in system modeling . IEEE Transactions on Systems, Man & Cybernetics , 3 : 441 – 449 .
  • WHITNEY , D. E. , EPPINGER , S. D. , SMITH , R. P. and GEBALA , D. A. 1991 . Organizing the tasks in complex design projects. Computer-Aided Cooperative Product Development . MIT-JSME Workshop Proceedings , : 229 – 252 .
  • WOLTER , J. , CHAKRABARTY , S. and TSAO , J. Mating constraint languages for assembly sequence planning . Proceedings of the 1992 IEEE International Conference on Robotics and Automation . Vol. 3 , pp. 2367 – 2374 .
  • WYSK , R. A. , YANG , N. S. and JOSHI , S. 1991 . Detection of deadlocks in flexible manufacturing cells . IEEE Transactions on Robotics Automation , 7 : 853 – 859 .
  • XING , K. Y. , Hu , B. S. and CHEN , H. X. 1996 . Deadlock avoidance policy for petri-net modeling of flexible manufacturing systems with shared resources . IEEE Transactions on Automatic Control , 41 : 289 – 295 .
  • ZHOU , M. and DICESARE , F. 1993 . Petri Nets Synthesis Far Discrete Event Control Of Manufacturing Systems , Kluwer Academic .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.