Modeling advanced manufacturing systems using concurrent logic programming

https://doi.org/10.1016/0954-1810(90)90034-2Get rights and content

Abstract

Modern manufacturing systems are complex systems composed of the following components: numerically controlled manufacturing machines, automated material handling systems, and a computerized control system that supervises the operation of the manufacturing system. In order to operate properly there must be a sophisticated, hierarchical communication layer among the components.

It is desirable to have a tool that can capture all aspects of the manufacturing system, thus being able to model, simulate, analyze and even drive it. The modeling of concurrent asynchronous operations of a complex information intensive manufacturing system has today very limited tools.

This paper presents a new approach towards modeling of Advanced Manufacturing Systems (AMS). The modeling vehicle is a dialect of concurrent logic programming language called FCP (Flat Concurrent Prolog). This approach, in addition to the more commonly modeled features, enables the modeler to capture the dynamic nature of a system including conflicts, deadlocks, communication protocols, concurrency and information transfer.

References (23)

  • D.T. Ross

    Applications and extensions of SADT

    IEEE Computer

    (April 1985)
  • M. Lissandre et al.

    SAS — a specification support system

  • A.L. Davis et al.

    Data flow program graph

    IEEE Computer

    (February 1982)
  • D. Demarco

    Structured Analysis and System Specification

    (1978)
  • A.A.B. Pritsker

    Introduction to Simulation and SLAM II

  • H. Steudel

    SIMSHOP: a jobshop cellular manufacturing simulator

    J. of Manufacturing Systems

    (1986)
  • Y.D. Noh et al.

    Simulation model for an individual robotic manufacturing cell

    Int. J. Prod. Res.

    (1988)
  • B.B. Flynn et al.

    A simulation comparison of group technology with traditional job shop manufacturing

    Int. J. Prod. Res.

    (1986)
  • D. Dubios et al.

    Using Petri nets to represent production processes

  • Y. Narahari et al.

    Applications of Petri net based models in the modeling and analysis of flexible manufacturing systems

    Annals of Operations Research

    (1985)
  • M. Barad et al.

    Flexibility in manufacturing systems: definitions and Petri net modeling

    Int. J. Prod. Res.

    (1988)

    • Cited by (2)

    View full text
    Copyright © 1990 Published by Elsevier Ltd.