The modelling of a manufacturing enterprise is not an easy task. A manufacturing enterprise is a complex system where technical knowledge is as important as management abilities. For taking more accurate management decisions and for these decisions to have a quick impact on manufacturing activities, the communication between the higher and lower levels of an enterprise must be fluent. The fluent communication of the different levels of an enterprise is called integration. When this integration is achieved thanks to the use of computers, it is called Computer Integrated Manufacturing (CIM). In the first part of this work, we study the methodologies that have been developed for enterprise modelling and integration and we propose a new functional analysis technique based on the combination of certain elements of the studied methodologies. The second part of this work deals with low level communication aspects of distributed control systems and shows how to use SFCs for determining the state of graphical components and for composite event detection.