Las redes de Petri y su adopción en programas de la Universidad de Sonora

Abstract

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

Keywords

• Redes de Petri
• verificación de software
• simulación de sistemas de manufactura