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

Eleazar Jimenez Serrano

doi:10.36790/epistemus.v16i33.221

Autores/as

Eleazar Jimenez Serrano Universidad de Sonora https://orcid.org/0000-0002-2594-6914

DOI:

https://doi.org/10.36790/epistemus.v16i33.221

Palabras clave:

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

Resumen

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

Descargas

Los datos de descargas todavía no están disponibles.

Biografía del autor/a

Eleazar Jimenez Serrano, Universidad de Sonora

Desde enero de 2021: maestro por asignaturas (empleo actual)

Universidad de Sonora campus Hermosillo – departamento de ingeniería industrial

Clases:

(1) Dibujo industrial (uso de AutoCAD 2021)

(2) Dibujo mecánico (uso de AutoCAD 2021)

Agosto de 2014 - enero de 2020: Subgerente

Nidec Corp., motores automotrices y unidad de negocio de control electrónico.

Miembro del equipo de R&D de control de motores eléctricos y embedded software, para el proyecto de prueba de motores inteligentes de Nidec con la empresa IBM.

Ubicación: Centro de Investigación y Desarrollo Tecnológico de Shiga, Japón

Octubre 2010 - marzo 2014: Coordinador del programa internacional de posgrado (en idioma inglés) y Profesor investigador (por contrato y periodo fijo)

Universidad de Kyushu, Escuela de ciencias integrales de punta, Dept. de ciencias automotrices

Clases:

(1) Mediciones redundantes y ajuste matemático óptimo.

(2) Ajuste de mínimos cuadrados e hipótesis de prueba para mediciones redundantes.

(3) Introducción al procesamiento de información: programación usando el sistema operativo Unix.

(4) Redacción de manuscritos científicos.

(5) Elaboración de material para presentación a nivel de posgrado.

(6) Seminario avanzado en redacción de manuscritos científicos.

Ubicación: Fukuoka, Japón

Abril 2008 - diciembre 2009: Investigador visitante / coordinador industria-academia entre Toyota y la universidad de Delft en Holanda (por contrato y periodo fijo)

Toyota Motor Corp., Grupo de sistemas de control eléctrico, Equipo GPS

Ubicación: Toyota, Aichi, Japón

De agosto de 2001 a febrero de 2002: maestro por asignaturas en la Universidad Autónoma de Baja California campus Mexicali, Departamento de Ingeniería Industrial.

Clases:

(1) Estadística

(2) Simulación por computadora

(3) Investigación de operaciones

(4) Evaluación de proyectos de inversión

(5) Ingeniería económica

Octubre 1999 - abril 2001: Ingeniero Asociado de nivel 3

Wongs Electronics Ltd., Planta Mexicali, Departamento de Ingeniería

Ubicación: Mexicali, Baja California, México

Diciembre 1996 - septiembre 1999: Ingeniero Asociado de nivel 5

Fábrica de Sony Corp. México,, Departamento de Ingeniería

Ubicación: Mexicali, Baja California, México

Educación:

2008 Doctorado en ciencias de la computación e ingeniería de la comunicación

Universidad de Kyushu, Escuela de Posgrado de Ciencias de la Información e Ingeniería Eléctrica

Ubicación: Fukuoka, Fukuoka, Japón

2001 Maestría en ciencias en ingeniería de sistemas

Universidad Autónoma de Baja California, Instituto de Ingeniería

Ubicación: Mexicali, Baja California, México

1995 Ingeniería industrial y sistemas

Universidad de Sonora, Departamento de Ingeniería

Ubicación: Hermosillo, Sonora, México

Educación complementarias:

Idiomas: Español (nativo), Inglés (TOEIC: 940), Japonés (18 años de experiencia)

Mayo 2002 - noviembre 2002: Entrenamiento especial en “ingeniería industrial y control de calidad.” Tomado en la Agencia de Cooperación Internacional de Japón (JICA), Fukuoka, Japón.

Mayo 1998: Diploma en control total y gestión de calidad, en la Universidad CETYS

Mexicali, Baja California, México

Otros conocimientos profesionales:

20 años de experiencia con Petri nets, usadas para la simulación de sistemas, administración de operaciones, y plataforma de verificación de sistemas y software.
Estándares de calidad: ISO-9001, ISO-26262, IATF-16949
Uso de herramientas Matlab, Simulink, dSpace,
Manejo de lenguajes de computación: Python, Java, C++, HTML, y otros.

Otras experiencias (contrato a corto plazo) en Japón y México:

De abril de 2014 a julio de 2014: Personal temporal en Riken Corp.

Entrenador en mantenimiento de herramientas y traductor de inglés, japonés y español para la nueva planta en México, para la línea de anillos de sello automotriz.

Ubicación: Kashiwasaki, Nigata

De junio de 1996 a noviembre de 1996: ingeniero asociado en AlliedSignal Corp.

Planeador MRP/comprador y coordinador de producción para la producción de unidades intercambiadoras de calor de aluminio y acero. Liberación de orden de producción al piso

Ubicación: Mexicali, Baja California, México

Posiciones honoríficas en asociaciones

Asociación: World Scientific and Engineering Academy and Society (WSEAS)

Journal: WSEAS Transactions on Information Science and Applications.

Posiciones en la sociedad:

2012/11 – 2014/10: Editor en jefe
2011/11 – 2012/10: Editor asociado
2011/04 – 2014/10: Revisor de manuscritos

Publications, Papers & Research Achievements

Libros.

[B1] E. Jiménez S. (author), “System and software verification using Petri nets. For functional safety of ISO-26262 requirements.” Amazon publisher, September 2020.

[B2] Azami Zaharim, Yilun Shang, Eleazar Jimenez Serrano, Saad Alharbi, Valeriu Prepelita (editors). Recent advances in electrical and computer engineering. Cambridge, MA, USA. January 30 to February 1, 2013. WSEAS press. ISBN: 978-1-61804-156-2.

Tesis de graduación.

[T1] “Multiple and simultaneous control using Controlled Dan/Petri nets+.” Doctorate Thesis. Kyushu University, Graduate School of Information Sciences and Electrical Engineering.

[T2] “Petri nets for the modeling of manufacturing systems.” Master Thesis. Autonomous University of Baja California, Institute of Engineering.

[T3] “Simulation model for cellular production lines.” Bachelor Thesis. University of Sonora, Industrial Engineering Department.

Manuscritos de journal.

[J1]. E. Jiménez S., “Partitioning of state-space with the sum-of-digits and hashing with reduced number of address collision.” WSEAS Transactions on Information Science and Applications. Issue 4, Vol. 10, pp. 128-137, April 2013.

[J2]. E. Jiménez S., “Partial exploration of state spaces and hypothesis test for unsuccessful search.” Springer, Electrical Engineering, and Intelligent Systems, LNEE 130, chp.1, pp. 1-13, 2013. ISBN 978-1-4614-2316-4

[J3]. E. Jiménez S., “Using metaheuristics and SPC in the analysis of state spaces of Petri nets.” Medwell Journal of Engineering and Applied Sciences, Vol.5, No. 6, pp.413-419, 2010.

[J4]. E. Jiménez S., Keijiro Araki, Shigeru Kusakabe, “Controlled Dan/Petri nets for modeling multiple and simultaneous control of discrete event systems.” Medwell Journals - Asian Journal of Information Technology, Vol.5, No. 10, pp.1117-1125, 2006.

Manuscritos de conferencias internacionales.

[C1]. E. Jiménez S., “Parallel exploration of state space with reduced cross transitions partitioning.” International Conference on Computer Sciences and Applications (CSA2013), IEEE index, pp.407-412, Wuhan, China, December 2013.

[C2]. E. Jiménez S., F. Franco Medrano, “On the collision rate of key conversion prior modulo for multiple hash tables of any size.” Proc. of the 12th WSEAS Int. Conf. on Applications of Computer Engineering, pp. 61-66, Cambridge, MA, USA, February 2013.

[C3] E. Jiménez S., “Estimation of the size of state space of Petri nets to determine the size of hash tables.” Proc. of the 12th WSEAS International Conference on Applications of Computer Engineering, pp. 55-60, Cambridge, MA, USA, February 2013.

[C4] E. Jiménez S., “On the design of special hash functions for multiple hash tables,” Proc. of the 9th International Conference on Electrical Engineering, Computing Science and Automatic Control (CEE), IEEE index, pp. 252-256, Mexico city, Mexico, September 2012.

[C5] E. Jiménez S., “Multiple hash tables for skewed sets of integer keys,” Proc. of the 12th International Conference on Applied Informatics and Communications (AIC’12), pp. 241-246, Istanbul, Turkey, 2012.

[C6] E. Jiménez S., “Hypothesis test for unsuccessful partial explorations of state spaces of Petri nets,” Proceedings of The World Congress on Engineering 2011 (WCE 2011), pp. 1254-1259, London, U.K., July 2011.

[C7] E. Jiménez S., “Improved estimation of the size of the state space of Petri nets for the analysis of reachability problems,” Proc. of the 5th WSEAS European Computing Conference, pp. 92-97, Paris, France, April 2011.

[C8] E. Jiménez S., “Avoidance of temporary forbidden states using a traffic controller modeled with Controlled Petri Nets.” Proc. of the IEEE International Symposium on Industrial Electronics, pp. 2059-2064, Seoul, Korea, 2009.

[C9] E. Jiménez S., K. Araki, and S. Kusakabe, “Optimization of Controls for State Feedback using Controlled Dan/Petri Nets+.” Proc. of the 33rd Annual of the IEEE Industrial Electronics Society, Taipei, Taiwan, November 2007.

[C10] E. Jiménez S., K. Araki, and S. Kusakabe. “Enforcing the Optimal Set of Controls for State Feedback with Non-redundant Controllers.” Proc. of the IEEE International Conference on Systems, Man and Cybernetics, pp. 1394–1399, Montreal, Canada, October 2007.

[C11] E. Jiménez S., K. Araki, and S. Kusakabe, “On all sets of optimal controls for a control system with state feedback.” Proc. of the 26th Chinese Control Conference, Zhangjiajie, Hunan, China, July 2007.

[C12] E. Jiménez S., K. Araki and S. Kusakabe. “Optimal state feedback for single-place connected circuits using Controlled Dan/Petri nets+.” Proc. of the 15th Mediterranean Conference on Control and Automation MED’07, Athens, Greece, June 2007.

[C13] E. Jiménez S., K. Araki and S. Kusakabe. “On the row vectors of the set of multiple and simultaneous controls with Controlled Dan/Petri nets+.” Proc. of the Int. MultiConference of Engineers and Computer Scientists (IMECS2007) pp. 1516-1521, Hong Kong, March 2007.

[C14] E. Jiménez S., K. Araki and S. Kusakabe. “Derivative subnets of the valid MSC subnet Σc(q) of Controlled Dan/Petri nets.” Proc. of the European Modeling and Simulation Symposium (EMSS2006), pp. 171-179, Barcelona, Spain, October 2006.

[C15] E. Jiménez S. and K. Araki, “Modeling and simulation of an elevator system using Coloured Petri nets.” Proc. of the 2nd CLUSS Intl. Workshop on Next Generation Embedded Software. Fukuoka, Japan, January 2004.

Otras conferencias, ensayos, columnas, etc.E. Jimenez S. “Inventiveness of students in an international program of engineering education – initial study." Proc. of the 5th IEEE International Conference on Engineering Education (ICEED), pp.110-114, Kuala Lumpur, Malaysia, December 2013. Premios.Best paper award.　Title of manuscript:“Parallel exploration of state space with reduced cross transitions partitioning.”International Conference on Computer Sciences and Applications. Wuhan, China (2013,12) Pláticas como invitado.

[W1] Presenter at 11th Kyushu University faculty development course for full-time faculty members. Title: Recommendations for teaching to international students. December 2012.

[W2] Presenter at Kyushu University, Graduate School of New Integrated Frontiers, Automotive Sciences. Title: Constructive alignment: UNESCO’s recommendations on higher education. November 2011.

[W3] Presenter at Kyushu University G30 Project faculty development course for full-time faculty members. Title: Constructive alignment: UNESCO’s recommendations on higher education. October 2011.

Fondos adquiridos

Nombre del fondo: Ministry of Economy, Trade, and Industry of Japan (METI).

Project for promoting global warming countermeasure technology spread in 2015

Título del proyecto: Feasibility study of JCM project by promoting mass diffusion of high efficiency solar pump system for irrigation in agricultural field

Representante: Nidec Corporation

Periodo: octubre 21, 2015 a marzo 25, 2016

Cantidad del fondo: 29,996,738 yen

Fuente (en japonés): www.meti.go.jp/meti_lib/report/2016fy/000364.pdf

Version en inglés: https://drive.google.com/file/d/1mAL0RYZ0CznZRZcwijrSsAauBluhd-XM/view?usp=sharing

Nombre del fondo: Kyushu University G30 Project

Título del proyecto: Automotive Science Global Course

Representante: Jimenez Serrano Eleazar

Periodo: octubre 2010 a marzo 2014

Cantidad del fondo: 3,064,000 yen

Actividades en sociedades académicas, afiliaciones y sociedades

[P1] “Low address collision rate in multiple hash tables.” Institute of Electronics, Information and Communication Engineers (IEICE), Mathematical Systems and Application, Vol. 112, No. 457, technical report MSS2012-73, pp.85-89（2013,3）

[P2] “A Probability-based state space analysis of Petri nets.” Institute of Electronics, Information and Communication Engineers (IEICE). Circuits and Systems, Vol. 110, No. 283, technical report CAS2010-66, pp.7-12（2010,1）

[P3] “Distributed multiple and simultaneous control via shared memory.” Institute of Electronics, Information and Communication Engineers (IEICE), Concurrent System Technology, Vol. 108, No. 415, technical report CTS2008-54, pp.71-76（2009,1）

[P4] “Control trigger for the implementation of optimized multiple and simultaneous Control.” Institute of Electronics, Information and Communication Engineers (IEICE), Concurrent System Technology, Vol. 107, No. 472, technical report CST2007-49, pp.17-22（2008,1）

Actividades adicionales.

[H1] Recruiting of foreign students - invited lecturer at Universidad Veracruzana, Faculty of Mechanical and Electrical Engineering. Xalapa, Mexico. Title of presentation: Research opportunities in automotive science in Japan. October 2013.

[H2] Invited lecturer at the “Industrial Engineering International Academic Fellowship 2013”, University of Sonora. Hermosillo, Sonora, Mexico. Title: General theory of Petri nets for undergraduate students. September 2013.

[H3] Recruiting of foreign students - invited lecturer at A. University of B. California, Faculty of Engineering. Mexicali, Mexico. Title of presentation: Opportunities in the automotive industry for young Mexicans. September 2013.

[H4] Invited lecturer by JICA at Kyushu International Center. Program: Small and medium enterprise/local industry activation for Central and South America. July-August 2013.

[H5] Plenary lecturer at the 12th WSEAS International Conference on Applications of Computer Engineering, Cambridge, MA, USA. Title: Parallel storing of independent data sets in multiple hash tables. February 2013.

[H6] Recruiting of foreign students - invited lecturer at the Autonomous University of San Luis Potosi, Faculty of Engineering. San Luis Potosi, Mexico. Title of presentation: The future of the automotive industry. September 2012.

[H7] Recruiting of foreign students - invited lecturer at Universidad Veracruzana, Faculty of Mechanical and Electrical Engineering. Xalapa, Mexico. Title of presentation: Revising the Mexican automotive industry. September 2012.

[H8] Plenary lecturer at the 12th International Symposium of Engineering AXIS-2012. Hermosillo, Sonora, Mexico. Title: The future of the automotive industry - business and research in Japan. March 2012.

Citas

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

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.

Wolfgang Reisig. Understanding Petri nets. Springer-Verlag Berlin Heidelberg 2013. DOI 10.1007/978-3-642-33278-4. DOI: https://doi.org/10.1007/978-3-642-33278-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 DOI: https://doi.org/10.1007/978-3-540-47919-2

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.

N. Busi. Analysis issues in Petri nets with inhibitor arcs. Theoretical Computer Science No. 275, pp. 127–177, 2002. DOI: https://doi.org/10.1016/S0304-3975(01)00127-X

Eleazar Jiménez Serrano. Multiple and simultaneous control using Controlled Dan Petri nets. Tesis de doctorado. Universidad de Kyushu. Marzo, 2008.

Louchka Popova-Zeugmann. Time and Petri Nets. Ed. Springer. 2013. DOI 10.1007/978-3-642-41115-1. DOI: https://doi.org/10.1007/978-3-642-41115-1

G. Balbo. Introduction to generalized stochastic Petri nets. Springer LNCS 4486, pp. 83-131, 2007. DOI: https://doi.org/10.1007/978-3-540-72522-0_3

H. Van Dyke Parunak, Robert Savit, Rick L. Riolo. “Agent-based modeling vs. equation-based modeling: a case study and users’ guide,” Proceedings of Multi-agent systems and Agent-based Simulation, 1998, pp. 10-25. DOI: https://doi.org/10.1007/10692956_2

T. Murata. “Petri Nets: Properties, analysis and applications,” Proceedings of the IEEE, Vol. 77, No.4, April 1989, pp. 541-580. DOI: https://doi.org/10.1109/5.24143

B. Bordbar, L. Giacomini, D.J. Holding. “UML and Petri nets for design and analysis of distributed systems,” Proceedings of the IEEE International Conference on Control Applications, 2000, pp. 610-615.