Modern manufacturing systems must be engineered as any other complex systems, especially in the context of their integration. The book first presents the all-embracing concept of the Extended Enterprise as way of inter-enterprise integration. It then focusses on Enterprise Engineering methods and tools to address intra-enterprise integration using a model-based approach. Business process modelling and re-engineering isssues are particularly discussed and tools presented. Formal specification and Petri net-based analysis methods for manufacturing systems complete the set of...