Las redes de Petri y su adopción en programas de la Universidad de Sonora-Reference-Cited by-同舟云学术

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

Published:2022-10-21 Issue:33 Volume:16 Page:
ISSN:2007-8196
Container-title:EPISTEMUS
language:
Short-container-title:Epistemus

Author:

Jimenez Serrano Eleazar^ORCID

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

Publisher

Universidad de Sonora

Subject

Electrical and Electronic Engineering,Building and Construction

Reference12 articles.

1. Eleazar Jiménez Serrano. Reporte de trabajo interno a Nidec Corp. sobre la cadena de suministro a nivel Tier-2 de motores eléctricos de la unidad de negocios automotrices de Nidec. Shiga, Japón. Noviembre 2019, “sin publicar”.

2. Eleazar Jiménez Serrano. System and software verification using Petri nets. For functional safety of ISO-26262 requirements. Ed. New York, NY, USA: Amazon press, 2020.

3. Wolfgang Reisig. Understanding Petri nets. Springer-Verlag Berlin Heidelberg 2013. DOI 10.1007/978-3-642-33278-4.

4. W. Brauer, W. Reisig, G. Rozenberg. Petri nets: Central models and their properties. Ed. Springr-Verlag. 1987. DOI 10.1007/978-3-540-47919-2

5. Eleazar Jiménez Serrano. “Estimation of the size of state space of Petri nets to determine the size of hash tables,” 12th WSEAS Int. Conf. on Applications of Computer Engineering, 2013, pp. 55-60.