_version_ 1866582475855101952
author Eleazar Jiménez Serrano
author_facet Eleazar Jiménez Serrano
contents Las redes de Petri y su adopción en programas de la Universidad de Sonora Eleazar Jiménez Serrano Multidisciplinaria (Ciencias Naturales y Exactas) Redes de Petri verificación de software simulación de sistemas de manufactura 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). 2022 artículo científico 2007-8196 https://www.redalyc.org/articulo.oa?id=726276432003 https://www.redalyc.org/journal/7262/726276432003/ https://www.redalyc.org/journal/7262/726276432003/html/ https://www.redalyc.org/journal/7262/726276432003/726276432003.epub https://www.redalyc.org/journal/7262/726276432003/movil https://doi.org/10.36790/epistemus.v16i33.221 es http://www.redalyc.org/revista.oa?id=7262 Epistemus application/pdf Universidad de Sonora Epistemus (México) Num.33 Vol.16
format Artículo científico
id redalyc_726276432003
language es
publishDate 2022
publisher Universidad de Sonora
spellingShingle Las redes de Petri y su adopción en programas de la Universidad de Sonora
Eleazar Jiménez Serrano
Multidisciplinaria (Ciencias Naturales y Exactas)
Redes de Petri
verificación de software
simulación de sistemas de manufactura
Las redes de Petri y su adopción en programas de la Universidad de Sonora Eleazar Jiménez Serrano Multidisciplinaria (Ciencias Naturales y Exactas) Redes de Petri verificación de software simulación de sistemas de manufactura 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). 2022 artículo científico 2007-8196 https://www.redalyc.org/articulo.oa?id=726276432003 https://www.redalyc.org/journal/7262/726276432003/ https://www.redalyc.org/journal/7262/726276432003/html/ https://www.redalyc.org/journal/7262/726276432003/726276432003.epub https://www.redalyc.org/journal/7262/726276432003/movil https://doi.org/10.36790/epistemus.v16i33.221 es http://www.redalyc.org/revista.oa?id=7262 Epistemus application/pdf Universidad de Sonora Epistemus (México) Num.33 Vol.16
title Las redes de Petri y su adopción en programas de la Universidad de Sonora
topic Multidisciplinaria (Ciencias Naturales y Exactas)
Redes de Petri
verificación de software
simulación de sistemas de manufactura
url https://www.redalyc.org/articulo.oa?id=726276432003
https://www.redalyc.org/journal/7262/726276432003/
https://www.redalyc.org/journal/7262/726276432003/html/
https://www.redalyc.org/journal/7262/726276432003/726276432003.epub
https://www.redalyc.org/journal/7262/726276432003/movil
https://doi.org/10.36790/epistemus.v16i33.221