Message-based Part State Graphs (MPSG): A formal model for shop-floor control implementation

International Journal of Production Research

Volumn 41, Issue 8, 2003, Pages 1739-1764

  Smit, J S ^a   Joshi, S B ^b   Qiu, R G ^c  

^a AUBURN UNIVERSITY   (United States)

^b PENNSYLVANIA STATE UNIVERSITY   (United States)

^c PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMMUNICATION; COMPUTER SOFTWARE; CONTROL EQUIPMENT; CONTROL SYSTEMS; HIERARCHICAL SYSTEMS; NETWORK PROTOCOLS; PETRI NETS;

FLOOR OPERATIONS;

OPERATIONS RESEARCH;

EID: 0242364637     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/1352816031000074955     Document Type: Review

References (33)

1. AHO, A. V., SETHI, R. and ULLMAN, J. D., 1988, Compilers: Principles, Techniques, and Tools (Reading, MA: Addison-Wesley).
2. ALBUS, J., 1993, Task decomposition. Proceedings of the 1993 IEEE International Symposium on Intelligent Control, pp. 49-51.
3. ALBUS, J., BARBERA, A. and NAGEL, N., 1981, Theory and practice of hierarchical control. Proceedings of the 23rd IEEE Computer Society International Conference, pp. 18-39.
4. AL-JAAR, R. Y. and DESROCHERS, A. A., 1990, Petri nets in automation and manufacturing. Advances in Automation and Robotics, 2, 153-225.
5. BJORKE, O., 1988, Towards a manufacturing systems theory. Robotics and Computer Integrated Manufacturing, 4, 625-632.
6. BRAND, D. and ZAFIROPULO, P., 1983, On communicating finite state machines. Journal of the Association of Computing Machinery, 30, 323-342.
7. CHAAR, J. K., 1990, A methodology for developing real-time control software for efficient and dependable manufacturing systems. PhD thesis, University of Michigan.
8. CHEN, Y. and TSENG, M., 1997, Stair-like CIM system architecture. IEEE Transactions on Components, Packaging, and Manufacturing Technology - Part C: Manufacturing, 20, 101-110.
9. DAVIS, W. J. and JONES, A. T., 1989, A functional approach to designing architectures for CIM. IEEE Transactions on Systems, Man, and Cybernetics, 19, 164-189.
10. GONZALEZ, F. and DAVIS, W., 1997, Simulation-based controller for a flexible manufacturing cell. Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, pp. 3642-3647.
11. HOPCROFT, J. E. and ULLMAN, J. D., 1979, Introduction to Automata Theory, Languages, and Computation (Reading, MA Addison-Wesley).
12. HOWELLS, R., 2000, ERP needs shop-floor data. Manufacturing Engineering, 10, 54-62.
13. IEEE/NEMI, 2002, Low-cost open architecture controller specification [www.ieee.org].
14. JONES, A. T. and McLEAN, C. R., 1986, A proposed hierarchical control architecture for automated manufacturing systems. Journal of Manufacturing Systems, 5, 15-25.
15. JONES, A. T. and SALEH, A., 1990, A multi-level/multi-layer architecture for intelligent shop-floor control. International Journal of Computer Integrated Manufacturing, 3, 60-70.
16. JOSHI, S. B., METTALA, E. G. and WYSK, R. A., 1992, CIMGEN - a computer aided software engineering tool for development of FMS control software. IIE Transactions, 24, 84-97.
17. JOSHI, S. B., WYSK, R. A. and JONES, A., 1990, A scaleable architecture for CIM shop floor control. In A. Jones (ed.), Proceedings of CIMCON '90 (National Institute of Standards and Technology), pp. 21-33.
18. KIM, C. and NOF., S., 2001, Design of collaboration framework for distributed CIM data activities. IIE Transactions, 33, 535-546.
19. KROGH, B. H., WILLSON, R. and PATHAK, D., 1988, Automated generation and evaluation of control programs for discrete manufacturing processes. International Conference on Computer Integrated Manufacturing, pp. 92-99.
20. LANGER, G. and ALTING, L., 2000, An architecture for agile shop floor control systems. Journal of Manufacturing Systems, 19, 267-281.
21. MERABET, A. A., 1985, Synchronization of operations in a flexible manufacturing cell: the Petri net approach, Journal of Manufacturing Systems, 5, 161-169.
22. MERCHANT, M. E., 1988, The precepts and sciences of manufacturing. Robotics and Computer Integrated Manufacturing, 4, 1-6.
23. METTALA, E. G., 1989, Automatic generation of control software in computer integrated manufacturing. PhD thesis, Pennsylvania State University, University Park, PA.
24. NAYLOR, A. W. and MALETZ, M. C., 1986, The manufacturing game: a formal approach to manufacturing software. IEEE Transactions on Systems, Man, and Cybernetics, 16, 321-334.
25. NAYLOR, A. W. and VOLZ, R. A., 1987, Design of integrated manufacturing control software, IEEE Transactions on Systems, Man, and Cybernetics, 17, 881-897.
26. PETERSON, J. L., 1981, Petri Net Theory and the Modeling of Systems (Englewood Cliffs, NJ: Prentice-Hall).
27. QIU, R. and JOSHI, S., 1999, A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 29, 573-586.
28. QIU, R. and JOSHI, S., 2000, Structured adaptive supervisory control model and software development for a flexible manufacturing system. International Journal of Production Research, 38, 39-49.
29. RAMADGE, P. J. and WONHAM, W. M., 1987, Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25, 206-230.
30. SMITH, J. S., 1992, A formal design and development methodology for shop floor control in computer integrated manufacturing. PhD thesis, Pennsylvania State University, University Park.
31. SMITH, J. S., HOBERECHT, W. C. and JOSHI, S. B., 1996, A shop floor control architecture for computer integrated manufacturing. IIE Transactions, 28, 783-794.
32. VALAVANIS, K. P., 1990, On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, 20, 94-110.
33. ZHOU, M., DICESARE, F. and DESROCHERS, A., 1989, A top-down approach to systematic synthesis of Petri net models for manufacturing systems. Proceedings of the 1989 IEEE International Conference on Robotics and Automation, pp. 534-539.