DOI: https://doi.org/10.53766/CEI/2021.43.02.01Dadas las condiciones o especificaciones en un sistema de manufactura que contiene una exclusión mutual, siempre queremos construir una red de Petri cuya estructura y marcación inicial aseguren acotamiento, no bloqueo y reiniciabilidad en dicho sistema. La exclusión mutual es usada para dar solución a problemas de síntesis donde el recurso compartido se ocupa de operaciones sin elección. Este concepto será extendido a un caso más general donde sean establecidas operaciones con elección.Given the conditions or specifications in a manufacturing system that contains a mutual exclusion, we always want to build a Petri net whose structure and initial marking ensure constraint, non-blocking and resettability in said system. Mutual exclusion is used to solve synthesis problems where the shared resource deals with choiceless operations. This concept will be extended to a more general case where operations with choice are established.