Resumo

JIMENEZ SERRANO, Eleazar. Las redes de Petri y su adopción en programas de la Universidad de Sonora. Epistemus (Sonora) [online]. 2022, vol.16, n.33, pp.26-32.  Epub 19-Maio-2023. ISSN 2007-8196.  https://doi.org/10.36790/epistemus.v16i33.221.

Las redes de Petri (PN) pertenecen a una técnica que está ganando popularidad en diferentes sectores industriales, como el automotriz. En este manuscrito se explican brevemente las PN, su historia y algunas extensiones para aumentar las capacidades en la modelación. Asimismo, dos ejemplos de modelos de PN para la industria automotriz, uno para la verificación de un software para el cálculo de posicionamiento vehicular por GPS, y el segundo para la simulación de una cadena de suministro automotriz. Al final se incluye una breve conclusión orientada a su adopción en los programas del departamento de ingeniería industrial de la Universidad de Sonora (UNISON).

Palavras-chave : Redes de Petri; simulación de sistemas de manufactura; verificación de software.