El control supervisorio de las redes de Petri tiene como objetivo hacer que el comportamiento no deseado sea inalcanzable mediante el diseño de un conjunto de lugares de control. Este trabajo presenta un enfoque de cobertura de conjuntos para diseñar supervisores maximalmente permisivos. Para cada marcaje malo encontrado por primera vez, se desarrolla un problema de programación lineal entera para obtener un lugar de control que lo prohíba. Se formula una función objetivo para hacer que el número máximo de marcajes malos encontrados por primera vez sean prohibidos. Luego, se desarrolla un enfoque de cobertura de conjuntos para minimizar el número de lugares de control seleccionados. El enfoque propuesto puede garantizar la permisividad máxima del supervisor obtenido y proporcionar un equilibrio entre la complejidad estructural y el costo computacional. Se consideran varios ejemplos para validar el método propuesto.