Abstract
This article applied distributed artificial intelligence to the real-time planning and control of flexible manufacturing systems (FMS) consisting of asynchronous manufacturing cells. A knowledge-based approach is used to determine the course of action, resource sharing, and processor assignments. Within each cell there is an embedded automatic planning system that executes dynamic scheduling and supervises manufacturing operations. Because of the decentralized control, real-time task assignments are carried out by a negotiation process among cell hosts. The negotiation process is modeled by augmented Petri nets —the combination of production rules and Petri nets—and is excuted by a distributed, rule-based algorithm.
Similar content being viewed by others
References
Baker, K.,Introduction to Sequencing and Scheduling. John Wiley & Sons, Inc., New York (1972)
Bochman, G. V. and C. A. Sunshine. “Formal Methods in Communication Protocol Design”,IEEE Transactions on Communications COM-28, pp. 624–631 (April, 1980).
Bourne, D. and P. Fussell, “Designing Programming Languages for Manufacturing Cells,” CMU-R1-Tr-82-5. The Robotics Institute, Carnegie-Mellon University, Pittsburgh, PA 15213 (1982).
Buchanan B. and R. Duda, “Principles of Rule-Based Expert Systems,” HPP-82-14. Stanford University, Stanford, CA 94305 (1982).
Chandrasekaran, B., “Natural and Social System Metaphors for Distributed Problem Solving,”IEEE Transactions on Systems, Man, and Cybernetics SMC-11, pp. 1–5 (January 1981).
Costa A. and M. Garetti, “Design of a Control System for a Flexible Manufacturing Cell,”Journal of Manufacturing Systems 4, p. 65 (July 1985).
Cristian, F. and D. Skeen, “Foreword: Special Issue on Distributed Systems,”IEEE Transactions on Software Engineering SE-13, pp. 1–2 (January 1987).
Cutkosky, M., “Precision Machining Cells Within a Manufacturing System”, The Robotics Institute, Carnegie-Mellon University, Pittsburgh, PA 15213 (1983).
Davis, R. and R. Smith, “Negotiation as a Metaphor for Distributed Problem Solving,”Artificial Intelligence 20, pp. 63–109 (1983).
Dubois, D. and K. E. Stecke, “Using Petri Nets to Represent Production Processes,” inProceedings of the 22d IEEE Conference on Decision and Control (San Antonio, Tex.), pp. 1062–1067 (1983).
Enslow, P. H., “What Is a Distributed Data-Processing System?”Computer, pp. 13–21 (1978).
Fikes, R. E., Hart, P. E. and Nilson, N. J., “Learning and Executing Generalized Robot Plans,”Artificial Intelligence 3, pp. 251–288 (April 1972).
Fikes, R. E. and N. J. Nilson, “STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving,”Artificial Intelligence 2, pp. 189–208 (April 1971).
Forgy, C., OPS5 User's Manual. CMU-CS-81-135. Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213 (1981).
Georgeff, M., “Procedural Control in Production Systems,”Artificial Intelligence 18, pp. 175–201 (January 1982).
Hewitt, C., “Viewing Control Structures as Patterns of Passing Messages,”Artificial Intelligence 8, pp. 323–364 (March 1977).
Hutchinson, G. K., “Flexibility Is Key to Economic Feasibility of Automating Small-Batch Manufacturing,”Industrial Engineering, pp. 77–86 (June 1984).
Kieburtz, R., “A Hierarchical Multicomputer for Problem Solving by Decomposition,”Proceedings of the IEEE: Distributed Computing Systems, pp. 631–671 (1979)
Kowalski, R., “Algorithm = Logic + Control,”Communications of the ACM 22, pp. 424–436 (August 1979).
Lesser, V. and D. Corkill, “The Distributed Vehicle Monitoring Testbed: A Tool for Investigating Distributed Problem-Solving Networks,” A.I. Magazine 4, pp. 15–33 (July 1983).
Lozano-Perez, T., “Robot Programming,” A.I. Memo 698. Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA 02139 (1982).
McDermott D. and C. Forgy, “Production System Conflict Resolution Strategies,“ inPattern-Directed Inference Systems, D. Waterman and F. Hayes-Roth (ed.), Harcourt Brace Jovanovich (Academic Press) San Diego, California (1978).
McLean, C., Mitchell, M. and E. Barkmeyer, “A Computer Architecture for Small-Batch Manufacturing,”IEEE Spectrum 20, pp. 59–64 (May 1983).
Merchant, M. E., “Production: A Dynamic Challenge,”IEEE Spectrum 20, pp. 36–39 (May 1983).
Minsky, M., “The Society Theory of Thinking,” inArtificial Intelligence—An MIT Perspective, P. Winston (ed.), MIT Press Cambridge, MA (1979).
Nau, D., “Expert Computer Systems,”Computer 16, pp. 63–85 (February 1983).
Nau, D. and T. Chang, “Prospects for Process Selection Using Artificial Intelligence,”Computers in Industry 4. pp. 253–263 (1983).
Nelson, R.,Principles of Artificial Intelligence. Tioga, Palo Alto, CA (1980).
Nelson, R., Haibt L. and Sheridan, P., “Casting Petri Nets into Programs,”IEEE Transactions on Software Engineering SE-9, pp. 590–602. (September 1983).
Peterson, J.,Petri Net and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ (1981).
Ranky, P.,Computer-Integrated Manufacturing, Prentice-Hall, Englewood Cliffs, NJ (1986).
Sacerdoti, E. D.,A Structure for Plans and Behavior. North-Holland, New York (1977).
Shaw, M. J., “A Two-Level Approach to Scheduling in Computer-Integrated Manufacturing,” inProceedings of the NBS Symposium on Real-Time Optimization in Automated Manufacturing Facility. National Bureau of Standards, Gaithersburg, MD (1985).
. “FMS Scheduling as Cooperative Problem Solving,” Faculty Working Paper 1326. Department of Business Administration, University of Illinois, Urbana, IL 61801, (1987).
, “A Distributed Scheduling Method for Computer Integrated Manufacturing: The Use of Local Area Networks in Cellular Systems,”Int. J. Prod. Res., Vol. 25, No. 9, pp. 1285–1303 (September 1987b).
Shaw, M. J. and Whinston, A. B., “Task Bidding and Distributed Planning in Flexible Manufacturing Systems,” inProceedings of the IEEE International Conference on AI Applications (Miami, FI) (1985).
Shaw, M. J. and Whinston, A. B., “An Artificial Intelligence Approach to the Scheduling of Flexible Manufacturing Systems,” forthcoming inIIE Transactions (1988).
Simpson, J., Hocken, R. and Albus, J. “The Automated Manufacturing Research Faculty of the National Bureau of Standards,”Journal of Manufacturing Systems 1, pp. 17–32 (January 1982).
Smith, R. G., “The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver,”IEEE Transactions on Computer C-29, pp. 1104–1113 (December 1980).
Tanenbaum, A.,Computer Networks. Prentice-Hall, Englewood Cliffs, NJ (1981).
Teng, A. and M. Liu., “A Formal Approach to the Design and Implementation of Network Communication Protocol,”Proceedings of COMPSAC, pp. 114–128 (1978).
Vere, S., “Planning in Time: Windows and Duration for Activities and Goals,”Pattern Analysis and Machine Intelligence PAMI-5, pp. 246–266 (May 1983).
Wilkins, D. E., “Domain-Independent Planning: Representation and Plan generation,”Artificial Intelligence 22, pp. 269–301 (1984).
Yang, J. D., Huhns, M. N. and Stephens, L. M. “An Architecture for Control and Communications in Distributed Artificial Intelligence Systems,”IEEE Transactions on Systems, Man, and Cybnernetics SMC-15, p. 316 (May–June 1985).
Zisman, M., “Use of Production Systems for Modelling Asynchronous Concurrent Processes,” inPattern-Directed Inteference Systems, D. Waterman and F. Hayes-Roth (eds.), Harcourt Brace Jovanovich (Academic Press), San Francisco, CA (1978).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Shaw, M.J., Whinston, A.B. A distributed knowledge-based approach to flexible automation: The contract net framework. Int J Flex Manuf Syst 1, 85–104 (1988). https://doi.org/10.1007/BF00713160
Issue Date:
DOI: https://doi.org/10.1007/BF00713160