Design of a rule-based flexible manufacturing system controller using modified IDEF0 methodology

International Journal of Production Research

Volumn 35, Issue 10, 1997, Pages 2793-2820

  Chen, S G ^a   Wu, M Z ^b   Li, R K ^a  

^a NATIONAL CHIAO TUNG UNIVERSITY   (Taiwan)

^b Technical Department   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL EQUIPMENT; DESIGN; ITERATIVE METHODS; MANUFACTURE; PETRI NETS; PRODUCTION CONTROL;

PRODUCTION RULES;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0031259152     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/002075497194453     Document Type: Article

References (24)

1. Bauer, A., Bowden, R., Browne, J., Duggan, J., and Lyons, G., 1991, Shop Floor Control Systems - From Design to Implementation (London: Chapman & Hall).
2. Cecil, J. A., Srihari, K., and Emerson, C. R., 1992, A review of Petri-net applications in manufacturing. International Journal of Advanced Manufacturing Technology, 7, 168-177.
3. Coffman, Jr, E. G., Elphick, M., and Shoshani, A., 1971, System deadlocks. Computer Surveys, 3 (2), 67-78.
4. David, R., and Alla, H., 1992, Petri Nets & Grafcet - Tools for Modeling Discrete Event Systems (Englewood Cliffs, NJ: Prentice Hall).
5. Dupond-Gatelmand, C., 1982, A survey of flexible manufacturing systems. Journal of Manufacturing Systems, 1 (1), 1-16.
6. Franks, I., Loftus, M., and Wood, N. T. A., 1990, Discrete cell control. International Journal of Production Research, 28 (9), 1623-1633.
7. Gensym, 1994, G2 Reference Manual, Version 4.0 (USA: Gensym Corporation).
8. Goodenough, J. B., and Gerhart, S. L., 1975, Towards a theory of test data selection. IEEE Transactions on Software Engineering, SE-1 (2), 156-173.
9. Holloway, L. E., and Krough, B. H., 1990 Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control, 35 (5), 514-523.
10. Hong, H. M., 1993, IDEF/CPN/G2 approach to the implementation of real-time shop floor control system. MS thesis, National Chiao Tung University, Taiwan.
11. Jafari, M. A., and Boucher, T O., 1994, A rule-based system for generating a ladder logic control program from a high-level systems model. Journal of Intelligent Manufacturing, 5, 103-120.
12. Jones, A. T., and Me Lean, C. R., 1986, A proposed hierarchical control model for automated manufacturing systems. Journal of Manufacturing Systems, 5 (1), 15-25.
13. Kusiak, A., 1990, Intelligent Manufacturing Systems (Englewood Cliffs, NJ: Prentice Hall).
14. Liang, G. R., and Hong, H. M., 1994, Hierarchy transformation method to manufacturing system specification, design, verification, and implementation. Computer-Integrated Manufacturing Systems, 7 (3), 191-205.
15. Meyer, W., 1990, Expert Systems In Factory Management - Knowledge-Based CIM(London: Ellis Horwood).
16. Murata, T., Komoda, N., Matsumoto, K., and Haruna, K., 1986, A Petri net-based controller for flexible and maintainable sequence control and its applications in factory automation. IEEE Transactions on Industrial Electronics, IE-33 (1), 1-8.
17. Sauve, B., and Collinot, A., 1987, An expert system for scheduling in a flexible manufacturing system. Robotics and Computer-Integrated Manufacturing, 3 (2), 229-233.
18. Teng, S., and Black, J. T., 1989, An expert system for manufacturing cell control. Computers in Industrial Engineering, 17 (1-4), 18-23.
19. Valette, R., 1987, Nets in production systems. In Advances in Petri Nets: Petri Nets Applications and Relationships to Other Models of Concurrency, L ecture Notes in Computer Science, 255 (New York: Springer), pp. 191-217.
20. Wu, S. Y. D., and Wysk, R. A., 1988, Multi-pass expert control system-a control/scheduling structure for flexible manufacturing cells. Journal of Manufacturing Systems, 7 (2), 107-120.
21. Xiang, D., and O’Brien, C., 1995, Cell control research - current status and development trends. International Journal of Production Research, 33 (8), 2325-2352.
22. Zhou, M., and Dicesare, F., 1990, Modeling buffers in automated manufacturing systems using Petri nets. Proceedings of Rensselaer’s Second International Conference on Computer Integrated Manufacturing, pp. 265-272.
23. Zhou, M., DiCesare, F., and Desrochers, A. A., 1992, A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE Transactions on Robotics and Automation, 8 (3), 350-361.
24. Zhou, M., and DiCesare, F., 1993, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems (Boston, MA: Kluwer Academic Publishers).