Las redes de Petri son un formalismo matemático útil para la especificación de sistemas de fabricación, respaldado por varios métodos de análisis y verificación. El progreso en la automatización de sistemas de control y el uso generalizado de la Industria 4.0 plantean una serie de desafíos para su aplicación, comenzando desde la educación a nivel universitario y terminando con la modelización de casos de estudio reales. El documento tiene como objetivo presentar y analizar los desafíos y oportunidades más relevantes relacionados con el uso de las redes de Petri como técnica de modelado de sistemas de fabricación. La revisión de la literatura se basa principalmente en los años 2019-2020 para reflejar el estado actual del arte. Se discuten los enfoques más recientes para la prevención y recuperación de bloqueos, pero también otros problemas importantes de análisis y dificultades en la modelización de procesos industriales reales. También se identifican las tendencias futuras.