En este artículo incluiremos la terminología necesaria en un medio ambiente de manufactura para establecer una metodología de modelación de Sistemas de Eventos Discretos conteniendo una Exclusión Mutual. Nuestro problema general para la modelación de Sistemas de Manufactura con Redes de Petri es establecido como sigue: dadas las especificaciones o requerimientos en un Sistema de Manufactura, construir una Red de Petri cuya estructura contenga una Exclusión Mutual.Palabras clave: Sistemas de Eventos Discretos, Redes de Petri y Exclusión Mutual.AbstractIn this article, we will include the terminology needed in a manufacturing environment to establish a methodology for modeling Discrete Event Systems containing a Mutual Exclusion. Our general problem for Manufacturing System modeling with Petri nets is established as follows: Given the specifications or requirements into a Manufacturing System, construct a Petri net whose structure contains a Mutual Exclusion.