Control of discrete event processes

This paper considers the problem of devising an adequate theory in which the behaviour of flexible manufacturing systems, at the level of coordination and control of a set of interacting, communicating concurrent processes, can be modelled and analysed. Existing approaches to a solution are reviewed and the outline of a proposed new approach based on some recent concepts such as object oriented systems is described.