The IFAC TC on Manufacturing, Modelling, Management and Control (MIM) was founded on the IFAC World Congress Sydney 1993. The goals of this workshop concerned the development, comparison and classification of formal models in the field of Computer Integrated Manufacturing Systems in a descriptive as well as prescriptive way. Computer Integrated Manufacturing Systems are able to integrate optimization methods, simulation models, procedures and knowledge-based tools. The target for the workshop activities were related to the specification of requirements for new models which are used in simulating and designing manufacturing management and control strategies, including discrete-event and continuous representations. Technical areas of interest, at the system level, included: tools for plant layout design, process planning, production planning and control. Technical areas of interest, at the component level, included: models for functional description of flexible manufacturing and assembly systems oriented to production activity control, process supervision and maintenance.

One critical barrier leading to successful implementation of flexible manufacturing and related automated systems is the ever-increasing complexity of their modeling, analysis, simulation, and control. Research and development over the last three decades has provided new theory and graphical tools based on Petri nets and related concepts for the design of such systems. The purpose of this book is to introduce a set of Petri-net-based tools and methods to address a variety of problems associated with the design and implementation of flexible manufacturing systems (FMSs), with several implementation examples.There are three ways this book will directly benefit readers. First, the book will allow engineers and managers who are responsible for the design and implementation of modern manufacturing systems to evaluate Petri nets for applications in their work. Second, it will provide sufficient breadth and depth to allow development of Petri-net-based industrial applications. Third, it will allow the basic Petri net material to be taught to industrial practitioners, students, and academic researchers much more efficiently. This will foster further research and applications of Petri nets in aiding the successful implementation of advanced manufacturing systems.

Modem manufacturing systems involve many processes and operations that can be monitored and controlled at several levels of intelligence. At the highest level there is a computer that supervises the various manufacturing functions, whereas at the lowest level there are stand alone computer controlled systems of manufacturing processes and robotic cells. Until recenty computer-aided manufacturing systems constituted isolated "islands" of automation, each oriented to a particular application, but present day systems offer integrated approaches to manufacturing and enterprise operations. These modem systems, known as computer-integrated manufacturing (CIM) systems, can easily meet the current performance and manufacturing competitiveness requirements under strong environmental changes. CIM systems are much of a challenge, and imply a systemic approach to the design and operation of a manufacturing enterprise. Actualy, a CIM system must take into account in a unified way the following three views : the user view, the technology view, and the enterprise view. This means that CIM includes both the engineering and enterprise planning and control activities, as well as the information flow activities across all the stages of the system.

Advanced modeling techniques are a necessary tool in order to design and manage manufacturing systems effectively. This book contains a set of tutorial chapters on topics ranging from aggregate production planning to real time control, including predictive and reactive scheduling, flow management in assembly systems, simulation of robotic cells, design of manufacturing systems under uncertainty and a historical perspective on production management philosophies. The book will be of interest both to researchers and practitioners, including graduate students in Manufacturing Engineering and Operations Research.

This Proceedings contains the papers presented at the IFAC Workshop on Manufacturing, Modelling, Management and Control (MIM 2001), held in Prague, Czech Republic, on 2-4 August 2001. This regular IFAC workshop has developed a reputation for high quality, and regularly features notable contributions by leading world experts. This Proceedings volume shows that the latest Workshop was no exception. The papers feature subjects such as production planning, virtual manufacturing, scheduling design, planning management, monitoring and diagnostics, manufacturing and machining, software, decision support systems, and modelling, as well as traditional and modern disciplines of manufacturing automation. The Proceedings of the MIM 2001 workshop are essential reading for anyone with an interest in the latest developments in the modelling and control of manufacturing systems.

This Proceedings contains the papers presented at the IFAC Symposium on Manufacturing, Modeling, Management and Control (MIM 2000), held in Patras, Greece, on 12-14 July 2000. MIM is a long-running series of IFAC meetings featuring the best work on the development, comparison and classification of manufacturing systems. In this Proceedings, key engineering topics, such as agile manufacturing and intelligent manufacturing, are presented alongside more management-related issues as well as some of the fundamental control theory applicable to these areas. Altogether, over 90 papers are presented.