Specification of a Flexible Manufacturing System Using Concurrent Programming

J.M. Mortel - Fronczak, van de, J.E. Rooda, N.J.M. Nieuwelaar, van den

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    15 Citaten (Scopus)
    64 Downloads (Pure)


    Because of the growing complexity, the design of and reasoning about modern industrial systems becomes increasingly difficult. In order to understand and estimate the dynamic system behaviour, appropriate models have to be used. In many cases, existing mathematical models like queuing networks, Markov chain models, or perturbation analysis cannot be applied. In such cases, usually a model is constructed that can be validated by means of computer simulation. Since industrial systems exhibit concurrency, formalisms developed to reason about concurrent systems are also well suited for developing models in this specific application area. Models of systems can be expressed, for instance, in terms of Petri nets or in terms of programs written in a concurrent programming language, like Timed CSP. Both approaches, originating from computer science, are increasingly often applied in modelling of manufacturing systems. In this paper, we present a simple modular approach to the specification of (discrete) industrial systems that is based on concurrent programming. As an illustration, we present a model of a flexible manufacturing cell. The specification language used is modular and, therefore, allows for hierarchical modelling. To specify the information and control flows, a VDM-like notation is used.
    Originele taal-2Engels
    Pagina's (van-tot)187-194
    TijdschriftConcurrent Engineering : Research and Applications
    Nummer van het tijdschrift3
    StatusGepubliceerd - 1995


    Duik in de onderzoeksthema's van 'Specification of a Flexible Manufacturing System Using Concurrent Programming'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit