Se presentan los diez trabajos seleccionados para el Workshop International celebrado en Zaragoza en 1999 y dedicado a métodos formales para el diseño y la operación de sistemas de manufactura, complejo dominio de aplicación de gran interés conceptual y práctico. Cuestiones relativas al modelado, análisis, optimización y control son objeto de atención de los artículos que componen el libro. En algunos de estos trabajos se adoptan modelos de eventos discretos e híbridos. Más concretamente, se utilizan paradigmas de modelado: autómatas, redes de Petri y álgebras.