Dadas 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.