**Meet the editors**

Raul Campos-Rodriguez is a part-time professor at the Monterrey Institute of Technology and Higher Education in Mexico. He received his BE degree in Computer Systems from the University of Guadalajara (2000) and his master and PhD degrees in Electrical Engineering from the CINVESTAV-IPN (2002 and 2007) in Jalisco, Mexico. From 2007 to 2011, he was a research professor

at the University of Guadalajara. From 2011 to 2017, he was a research professor at the ITESO University. He has published a number of international journal papers, an international patent, and directed research and development projects in the area of discrete-event systems, control, observability, embedded systems design and implementation and machine learning algorithms for predictions on dynamic software environments.

Mildreth Alcaraz-Mejia is a research professor at ITESO University. She received her BE degree in Computer Systems from the University of Colima (2001) and her master and PhD degrees in Electrical Engineering from the CINVESTAV-IPN (2003 and 2007) in Jalisco, Mexico. From 2007 to 2011, she was a research professor at the University of Guadalajara. From 2011, she has been a

research professor at the ITESO University. She has published numerous scientific articles that have been internationally refereed, book chapters, and one patent in the USA. She has directed research and development projects in the area of discrete-event systems, high performance computing and big data analysis. Her main interest areas include discrete-event systems, design, HPC, data mining and big data analysis, as well as methods for scheduling problems.

Contents

**Preface VII**

**Engineering 1**

**Processes 37** Roman Stryczek

**Petri Nets 57**

Wlodek M. Zuberek

**Applications 93** Hamdi Awad

**Management 111**

Ivo Martiník

Chapter 1 **Introductory Chapter: Petri Nets in Science and**

Raul Campos-Rodriguez and Mildreth Alcaraz-Mejia

José Carlos Quezada Quezada, Ernesto Flores García, Joselito Medina Marín, Jorge Bautista López and Víctor Quezada Aguilar

Chapter 2 **Ladder Diagram Petri Nets: Discrete Event Systems 17**

Chapter 3 **Petri Networks in the Planning of Discrete Manufacturing**

Chapter 4 **Reliability Evaluation for Mechanical Systems by**

Chapter 5 **Performance Analysis of Shared-Memory Bus-Based Multiprocessors Using Timed Petri Nets 75**

Chapter 6 **Supervisory Control Systems: Theory and Industrial**

Chapter 7 **Process Petri Nets with Time Stamps and Their Using in Project**

Jianing Wu and Shaoze Yan
